search

Deducteam / lambdapi

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

fix rawdk export of AC symbols #1088

Closed fblanqui closed 2 months ago