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