All Categories → No Category → dependent-record-types

Top 1 dependent-record-types 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-record-types projects