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

Code for the "Logic, machines and sequent calculus" talk
https://github.com/clayrat/sequent-calc-talk

abstract-machine sequent-calculus

Last synced: about 24 hours ago
JSON representation

Code for the "Logic, machines and sequent calculus" talk

• Host: GitHub
• URL: https://github.com/clayrat/sequent-calc-talk
• Owner: clayrat
• Created: 2018-12-20T11:03:29.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2022-09-07T17:48:23.000Z (about 2 years ago)
• Last Synced: 2023-03-23T22:21:02.367Z (over 1 year ago)
• Topics: abstract-machine, sequent-calculus
• Language: Idris
• Size: 11.7 KB
• Stars: 30
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project