https://github.com/clayrat/sequent-calc
Experiments with sequent calculi
https://github.com/clayrat/sequent-calc
abstract-machine sequent-calculus
Last synced: 6 months ago
JSON representation
Experiments with sequent calculi
- Host: GitHub
- URL: https://github.com/clayrat/sequent-calc
- Owner: clayrat
- Created: 2018-08-08T10:27:59.000Z (almost 8 years ago)
- Default Branch: idris2
- Last Pushed: 2021-03-28T00:01:48.000Z (over 5 years ago)
- Last Synced: 2025-07-20T06:41:22.293Z (about 1 year ago)
- Topics: abstract-machine, sequent-calculus
- Language: Idris
- Size: 281 KB
- Stars: 27
- Watchers: 5
- Forks: 3
- Open Issues: 3