About Zach
Senior at CMU! Interested in automated reasonsing, formal methods, and type theory!
Lists
zaxioms has no public lists
Timeline
zaxioms has no activity yet
Senior at CMU! Interested in automated reasonsing, formal methods, and type theory!
zaxioms has no public lists
zaxioms has no activity yet