proof-checker topic
List
proof-checker repositories
lambdapi
271
Stars
35
Forks
Watchers
Proof assistant based on the λΠ-calculus modulo rewriting
