/egison-prover

Proof writing language with Egison pattern matching

Primary LanguageHaskellMIT LicenseMIT

Egison Prover

Egison with a dependent type system

How to test

cabal build
cabal exec egison-prover -- sample/test.pegi