bhaaksema/g4ip-prolog bhaaksema/g4ip-prolog

  • Stars
    star
    1
  • Language
    Prolog
  • License
    GNU General Publi...
  • Created about 1 year ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bhaaksema/g4ip-prolog
github

bhaaksema

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automated Theorem Prover for Intuitionistic Propositional Logic

More Repositories

1

rug-picalc

Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
5
star
2

guanaco-doc

Guanaco Documentation
HTML
2
star
3

guanaco

A Syntactic Proof Guide for Epistemic Logic
JavaScript
1
star
4

super-prover

Automated Theorem Prover for Propositional Superintuitionistic Logics
Haskell
1
star