All Categories → No Category → proof-languages

Top 1 proof-languages open source projects

A modern proof language

✭ 2,075

javascript scheme haskell Nix HTML Makefile functional-programming lambda-calculus type-theory theorem-prover formality moonad proof-language proof-languages

1-1 of 1 proof-languages projects