Idris-HoTT
Idris-HoTT copied to clipboard

Published 20 hours ago •

→

Metadata

Homotopy Type Theory proofs in Idris

Reame
Issues

Results 0 Idris-HoTT issues

Sort by recently updated

← Metadata

20

Stars

1

Forks

Watchers

Owner

Metadata

Homotopy Type Theory proofs in Idris