search

Deducteam / Dedukti

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

Implement Dedukti standard #297

Closed francoisthire closed 1 year ago

francoisthire commented 1 year ago

This PR aims to be consistent with the new standard defined https://github.com/Deducteam/Dedukti-standard