Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting
206Updated 4 months ago

Alternatives and similar repositories for Dedukti:

Users that are interested in Dedukti are comparing it to the libraries listed below