dedukti 2.5

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.fc26.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