proof-asistant topic
List
proof-asistant
repositories
cubeViz2
22
Stars
2
Forks
Watchers
marcinjangrzybowski
agda
cubical-agda
cubical-type-theory
haskell