CS Prototype: An equality constraint solver
BCN Prototype: An implementation of Constructive Negation
A Tableau-based Theorem prover for Temporal Logic PLTL
A Resolution-based Theorem prover for Temporal Logic PLTL
SpecSatisfiabilityTool for testing specifications on XML documents
Angluin's algorithm for learning DFA using JFLAP
A Dafny Formalization of a Proof System for QCSP
