Pinned Loading

1. docs docs Public

   Forked from SyGuS-Org/docs

   The SyGuS language standard

   TeX 1

2. cvc5/cvc5 cvc5/cvc5 Public

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 1.3k 293

3. LFSC LFSC Public

   Forked from cvc5/LFSC

   LFSC Proof Checker

   C++

4. cvc5/ethos cvc5/ethos Public

   A Flexible and Efficient Proof Checker for SMT Solvers

   C++ 31 9

5. cvc5.github.io cvc5.github.io Public

   Forked from cvc5/cvc5.github.io

   cvc5 website

   JavaScript

6. logos logos Public

   A verifiable proof checker for Eunoia

   Lean