search

Deducteam / lambdapi

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

Simplify added goals + prepare new release #1056

Closed fblanqui closed 7 months ago

fblanqui commented 7 months ago

fix a change in #1052 for lambdapi-stdlib to compile