Pinned Loading

1. google-deepmind/formal-conjectures google-deepmind/formal-conjectures Public

   A collection of formalized statements of conjectures in Lean.

   Lean 1.2k 396

2. FormalBook FormalBook Public

   Formalizing "Proofs from THE BOOK"

   Lean 86 29

3. libjxl/libjxl libjxl/libjxl Public

   JPEG XL image format reference implementation

   C++ 3.6k 380

4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 3.7k 1.5k

5. klein klein Public

   Source for Felix Klein Protokolle

   JavaScript 1 1

6. libjxl/jxl-rs libjxl/jxl-rs Public

   Rust 581 43