Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with sequent-calculus
A curated list of projects in awesome lists tagged with sequent-calculus .
https://github.com/clayrat/sequent-calc-talk
Code for the "Logic, machines and sequent calculus" talk
abstract-machine sequent-calculus
Last synced: 06 Nov 2024
https://github.com/clayrat/sequent-calc
Experiments with sequent calculi
abstract-machine sequent-calculus
Last synced: 06 Nov 2024
https://github.com/floriancassayre/master-project
Master Thesis Project at LARA (EPFL)
epfl formal-methods lisa proof-assistant proof-system sequent-calculus set-theory
Last synced: 06 Nov 2024
