danilkolikov / setoids

Idris proofs for extensional equalities

danilkolikov/setoids Stargazers

Aaron Lebahn
alebahn
Alex Gryzlov
clayrat
Emily Herbert
emilyaherbert
hussein-aitlahcen
hussein-aitlahcen
jmitchell
Radimir Sorokin
qradimir

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.