Pinned Loading

1. tlaplus/tlaplus tlaplus/tlaplus Public

   TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java 2.5k 224

2. gapt/gapt gapt/gapt Public

   GAPT: General Architecture for Proof Theory

   Scala 104 19

3. vprover/vampire vprover/vampire Public

   The Vampire Theorem Prover

   C++ 357 59