parametricity-proofs. Proofs of the number of inhabitants of polymorphic functions

github.com/LightAndLight/parametricity-proofs

Problem

Audience

Updates

No founder updates yet. Check back soon.