Popular repositories Loading

1. mimaflux mimaflux Public

   Java 21 7

2. llreve llreve Public

   Automatic regression verification for LLVM programs

   C++ 19 6

3. dive dive Public

   Dafny Interactive Verification Environment (DIVE)

   Java 4

4. DynamicDavid DynamicDavid Public

   Interactive Hilbert Calculus for propositional dynamic logic

   Scala 2

5. TableauApplet TableauApplet Public

   a Java implementation of an interative tableau first order theorem prover. For teaching.

   Java 1

6. eldarica eldarica Public

   Forked from uuverifiers/eldarica

   The Eldarica model checker

   Scala