All Categories → No Category → proof-language

Top 1 proof-language 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-language projects