anzenlang

Pinned Loading

1. timelib timelib Public

   Forked from ammkrn/timelib

   A date and time library for Lean 4

   Lean

2. arrow.lean arrow.lean Public

   Arrow's theorem.

   Lean

3. lean-cvc5 lean-cvc5 Public

   Forked from abdoo8080/lean-cvc5

   A Foreign Function Interface (FFI) to cvc5 solver in Lean.

   Lean 1

4. lean-smt lean-smt Public

   Forked from ufmg-smite/lean-smt

   Tactics for discharging Lean goals into SMT solvers.

   Lean

5. zen zen Public

   Hopefully useful Lean 4 things.

   Lean

6. cvc.lean cvc.lean Public

   Relatively high-level cvc5 API.

   Lean 3 1