agda / cubical
An experimental library for Cubical Agda
See what the GitHub community is most excited about today.
An experimental library for Cubical Agda
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT