https://github.com/clayrat/sequent-calc

Experiments with sequent calculi
https://github.com/clayrat/sequent-calc

abstract-machine sequent-calculus

Last synced: about 24 hours 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 (about 6 years ago)
• Default Branch: idris2
• Last Pushed: 2021-03-28T00:01:48.000Z (over 3 years ago)
• Last Synced: 2023-03-23T22:21:02.366Z (over 1 year ago)
• Topics: abstract-machine, sequent-calculus
• Language: Idris
• Size: 281 KB
• Stars: 22
• Watchers: 5
• Forks: 3
• Open Issues: 3

Awesome Lists containing this project