All Categories → No Category → dependent-type-theory

Top 1 dependent-type-theory open source projects

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 dependent-type-theory projects