LightAndLight / parametricity-proofs

Proofs of the number of inhabitants of polymorphic functions
23Updated 6 years ago

Related projects

Alternatives and complementary repositories for parametricity-proofs