Dedukti is a proof checker for the λΠ-modulo calculus, a
dependently typed λ-calculus with the addition of typed rewrite
rules, capable of expressing proofs in Deduction Modulo .
cabal install dedukti-1.1.4
Something wrong with this page?
Make a suggestion
Export .ABOUT file for this package
Last synced: 2017-10-23 22:24:53 UTC
Login to resync this project