search

Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting
https://deducteam.github.io
Other
198 stars 21 forks source link

Dkdep: Make error message consistent #304

Closed francoisthire closed 1 year ago

francoisthire commented 1 year ago

Maybe we should consider add a regression test?