https://github.com/egison/egison-prover

Proof writing language with Egison pattern matching
https://github.com/egison/egison-prover

Last synced: about 2 months ago
JSON representation

Proof writing language with Egison pattern matching

• Host: GitHub
• URL: https://github.com/egison/egison-prover
• Owner: egison
• License: mit
• Created: 2022-06-29T06:47:06.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2026-03-17T12:45:50.000Z (3 months ago)
• Last Synced: 2026-03-18T00:56:28.195Z (3 months ago)
• Language: Haskell
• Size: 82 KB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Egison Prover

Egison with a dependent type system

## How to test

```

cabal build

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

```