Pinned Loading

1. superintuition superintuition Public

   Automated Theorem Prover for Propositional Superintuitionistic Logics

   Haskell

2. g4ip-prolog g4ip-prolog Public

   Automated Theorem Prover for Intuitionistic Propositional Logic

   Prolog

3. guanaco guanaco Public

   A Syntactic Proof Guide for Epistemic Logic

   JavaScript 1

4. uu-agda uu-agda Public

   Advanced Functional Programming in Agda

   Agda

5. ug-picalc ug-picalc Public

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

   5 1

6. ug-sle ug-sle Public

   Forked from cwi-swat/sle-rug

   Software Language Engineering

   Rascal