search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

coq export: add option to specify renaming map #975

Closed fblanqui closed 1 year ago