Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for sequent calculus
sequent-calculus
x
6 search results found
Wangsalgorithm
⭐
29
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
Sequent Calc Talk
⭐
29
Code for the "Logic, machines and sequent calculus" talk
Sequent Calc
⭐
21
Experiments with sequent calculi
Proof Tree Builder.github.io
⭐
19
A web-based graphical proof assistant for LK and Hoare logic.
Sequents
⭐
11
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
Pesca
⭐
9
pesca: Proof Editor for Sequent Calculus
Related Searches
Haskell Sequent Calculus (4)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.