Idris-HoTT
Idris-HoTT copied to clipboard

Published 20 hours ago •

→

Metadata

Homotopy Type Theory proofs in Idris

Readme
Issues

Homotopy Type Theory in Idris

← Metadata

20

Stars

1

Forks

Watchers

Owner

Metadata

Homotopy Type Theory proofs in Idris