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/joom/wangsalgorithm
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
haskell sequent-calculus theorem-prover wang-algorithm
Last synced: 12 Nov 2024
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
