search

Deducteam / lambdapi

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

unif: test equality first #1007

Closed fblanqui closed 11 months ago

fblanqui commented 11 months ago

unif: test equality first eval: add tags to eq_modulo fix #1006