search

Deducteam / lambdapi

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

Notations on external symbols are not exported #1116

Open fblanqui opened 4 months ago