-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedOct 18, 2022 -
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda Other UpdatedApr 11, 2025 -
cubicaltt Public
Forked from mortberg/cubicalttExperimental implementation of Cubical Type Theory
Haskell MIT License UpdatedNov 9, 2022 -
{{ message }}