Beast code in Giters

Bas Haaksema's repositories

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

Guanaco Documentation

Language:HTML2 10

A Syntactic Proof Guide for Epistemic Logic

Language:JavaScriptGPL-3.01 10

Automated Theorem Prover for Propositional Superintuitionistic Logics

Language:HaskellGPL-3.0100

Automated Theorem Prover for Intuitionistic Propositional Logic

Language:PrologGPL-3.0000

010

Efficient SAT-based theorem prover for Intuituionistic Propositional Logic

Language:OpenEdge ABLBSD-3-Clause000

Software Language Engineering

Language:Rascal000

Web Engineering: Bootstrap

Language:Vue000

Vendor Tree for OnePlus X

Language:Makefile000