langston-barrett / reed-thesis

My undergradate thesis on coinductive types in univalent type theory
17Updated 6 years ago

Related projects

Alternatives and complementary repositories for reed-thesis