search

Deducteam / Dedukti

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

Pre Release 2.7 #283

Closed gabrielhdt closed 2 years ago