agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

agda / cubical

An experimental library for Cubical Agda