fabianmasato

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
cubical
An experimental library for Cubical Agda
Language:Agda00
cubical
An experimental library for Cubical Agda
Language:Agda449137

fabianmasato's Repositories

fabianmasato/agda
Agda is a dependently typed programming language / interactive theorem prover.
fabianmasato/cubical
An experimental library for Cubical Agda
Language:Agda