parametricity-proofs icon indicating copy to clipboard operation
parametricity-proofs copied to clipboard

verified publisher icon LightAndLight
→

Metadata

Proofs of the number of inhabitants of polymorphic functions

Results 0 parametricity-proofs issues
Sort by recently updated
recently updated
newest added

← Metadata

23
Stars
0
Forks
Watchers

Owner

verified publisher icon LightAndLight

Metadata

Proofs of the number of inhabitants of polymorphic functions

Back