GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ cicada-lang
1 open source projects by cicada-lang
[ Open user page on Github ]
1.
cicada
Cicada Language
✭ 9
typescript
repl
type-theory
type-system
cicada
prover
interactive-theorem-proving
theorem-prover
dependent-record-types
dependent-type-theory
1-1
of
1
user projects
