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