Deducteam / DeduktiLinks

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

Alternatives and similar repositories for Dedukti

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

Sorting: