Popular repositories Loading

1. polysynth polysynth Public

   Polynomial Program Synthesis

   SMT 2

2. at_lang at_lang Public

   Array Theory Program Verification - SMT Project

   TeX 1

3. sawaliram sawaliram Public

   Forked from sawaliram/sawaliram

   Online repository for the Sawaliram platform

   HTML

4. cvc5-chcnra cvc5-chcnra Public

   Forked from cvc5/cvc5

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

   SMT

5. Inventum Inventum Public

   Inventum: Discovering Favorites in Databases via Interactive Regret Minimization

   Jupyter Notebook

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean