Skip to content
Change the repository type filter

All

    Repositories list

    • docs-ci

      Public
      HTML
      1100Updated Jan 6, 2026Jan 6, 2026
    • cvc5

      Public
      cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
      SMT
      2711.2k13470Updated Jan 5, 2026Jan 5, 2026
    • Tests to evaluate the reconstruction of cvc5 proofs in the proof assistant Isabelle
      SMT
      0000Updated Dec 30, 2025Dec 30, 2025
    • Ruby
      1300Updated Dec 16, 2025Dec 16, 2025
    • ethos

      Public
      A Flexible and Efficient Proof Checker for SMT Solvers
      C++
      92627Updated Dec 16, 2025Dec 16, 2025
    • docs

      Public
      HTML
      3000Updated Dec 12, 2025Dec 12, 2025
    • JavaScript
      9100Updated Nov 24, 2025Nov 24, 2025
    • Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF
      1301Updated Nov 24, 2025Nov 24, 2025
    • A Z3Py-compatible interface to cvc5
      Python
      13852Updated Nov 21, 2025Nov 21, 2025
    • IsaRARE

      Public
      Generates Isabelle lemmas from RARE rewrite rules
      Isabelle
      1112Updated Nov 15, 2025Nov 15, 2025
    • smtd

      Public
      Distributed SMT solving framework
      Python
      0102Updated Sep 23, 2025Sep 23, 2025
    • cvc5-deps

      Public
      Archived cvc5 software dependencies
      1000Updated Jul 8, 2025Jul 8, 2025
    • Python
      0000Updated Jun 24, 2025Jun 24, 2025
    • tutorials

      Public
      Repository for source code of cvc5 tutorials
      Python
      4200Updated Sep 18, 2024Sep 18, 2024
    • drat-trim

      Public
      The DRAT-trim proof checker
      C
      23000Updated Feb 22, 2024Feb 22, 2024
    • LFSC

      Public
      LFSC Proof Checker
      C++
      91154Updated Sep 14, 2023Sep 14, 2023
    • Slash
      0000Updated Aug 23, 2023Aug 23, 2023
    • symfpu

      Public
      A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point
      C++
      20100Updated Jun 27, 2023Jun 27, 2023
    • Repository for maven verification
      0000Updated Oct 6, 2021Oct 6, 2021
    • 011850Updated Feb 4, 2020Feb 4, 2020