search

Deducteam / Dedukti

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

More dks #307

Closed francoisthire closed 1 year ago

francoisthire commented 1 year ago

It is easier to track everything from this repository.