search

Deducteam / lambdapi

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

Remove useless field problem in Eval.Config.t #994

Closed fblanqui closed 1 year ago

fblanqui commented 1 year ago

fix #958