bhaaksema/rug-picalc bhaaksema/rug-picalc

  • Stars
    star
    5
  • Rank 2,847,302 (Top 57 %)
  • Language
  • Created over 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bhaaksema/rug-picalc
github

bhaaksema

Reviews

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

Repository Details

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

More Repositories

1

guanaco-doc

Guanaco Documentation
HTML
2
star
2

guanaco

A Syntactic Proof Guide for Epistemic Logic
JavaScript
1
star
3

g4ip-prolog

Automated Theorem Prover for Intuitionistic Propositional Logic
Prolog
1
star
4

super-prover

Automated Theorem Prover for Propositional Superintuitionistic Logics
Haskell
1
star