search

Deducteam / Dedukti

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

Dkdep: Add a regression test for dkdep #306

Closed francoisthire closed 1 year ago