Popular repositories Loading

1. lean-smt lean-smt Public

   Tactics for discharging Lean goals into SMT solvers.

   Lean 258 34

2. carcara carcara Public

   Rust 40 17

3. proof-visualizer proof-visualizer Public

   TypeScript 3 4

4. cvc5-wasm cvc5-wasm Public

   A cvc5 version in web assembly.

   Shell 3 1

5. cvc5 cvc5 Public

   Forked from cvc5/cvc5

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

   SMT

6. real_closed_field real_closed_field Public

   Forked from artie2000/real_closed_field

   Formalisation of the theory of real closed fields in Lean 4.

   Lean