Deducteam / DeduktiLinks

Implementation of the λΠ-calculus modulo rewriting
209Updated last month

Alternatives and similar repositories for Dedukti

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

Sorting: