Skip to content
@stanford-centaur

stanford-centaur

Popular repositories Loading

  1. PyPantograph PyPantograph Public

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

    Python 148 37

  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 56

  3. pono pono Public

    Pono: A flexible and extensible SMT-based model checker

    C++ 134 44

  4. Clover Clover Public

    Dafny 5

  5. Soy Soy Public

    C++ 3

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

    TeX 1 3

Repositories

Showing 6 of 6 repositories
  • pono Public

    Pono: A flexible and extensible SMT-based model checker

    stanford-centaur/pono's past year of commit activity
    C++ 134 44 28 14 Updated Sep 14, 2026
  • smt-switch Public

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

    stanford-centaur/smt-switch's past year of commit activity
    C++ 141 56 26 10 Updated Sep 14, 2026
  • stanford-centaur.github.io Public
    stanford-centaur/stanford-centaur.github.io's past year of commit activity
    TeX 1 3 0 0 Updated Sep 2, 2026
  • PyPantograph Public

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

    stanford-centaur/PyPantograph's past year of commit activity
    Python 148 Apache-2.0 37 9 (6 issues need help) 4 Updated Aug 30, 2026
  • Clover Public
    stanford-centaur/Clover's past year of commit activity
    Dafny 5 MIT 0 0 0 Updated Apr 5, 2025
  • Soy Public
    stanford-centaur/Soy's past year of commit activity
    C++ 3 0 0 0 Updated Sep 7, 2023

Most used topics

Loading…