All Categories → No Category → formality

Top 1 formality 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 formality projects