Popular repositories Loading

1. PyPantograph PyPantograph Public

   A Machine-to-Machine Interaction System for Lean 4.

   Python 143 33

2. smt-switch smt-switch Public

   A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

   C++ 141 54

3. pono pono Public

   Pono: A flexible and extensible SMT-based model checker

   C++ 128 42

4. Clover Clover Public

   Dafny 4

5. Soy Soy Public

   C++ 3

6. stanford-centaur.github.io stanford-centaur.github.io Public

   TeX 1 3