About Zach

Senior at CMU! Interested in automated reasonsing, formal methods, and type theory!

Lists

Timeline

zaxioms has no activity yet