1 Search Results
lambdapi
Proof assistant for the λΠ-calculus modulo rewriting
2.2.1
CECILL-2.1
Used by 0 other packages