Popular repositories Loading

1. lean-crypto lean-crypto Public

   Cryptographic routines for the Lean 4 language

   Roff 43 3

2. lean-sat-checker lean-sat-checker Public

   A work in progress proof checker for LRAT files written in Lean.

   Lean 11

3. lean-libuv lean-libuv Public

   Bindings to LibUV in Lean

   Lean 6 2

4. lean-arith-solver lean-arith-solver Public

   Lean 4

5. rustlean rustlean Public

   Repository for developing a Cargo build extension to support lean.

   Rust 2

6. lean-containers lean-containers Public

   Lean 1 1