dedukti 2.5.1

Dedukti is a universal proof checker, based on the λΠ-calculus modulo. The project is named after the word for "to deduce" in Esperanto.

SRPMS

dedukti-2.5.1-1.fc29.src.rpm

SPECS

For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS


Last modified: Fri Aug 26 09:54:43 MDT 2016 by Jerry James