Pinned Loading

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

   A collection of formalized statements of conjectures in Lean.

   Lean 550 62

2. FormalBook FormalBook Public

   Formalizing "Proofs from THE BOOK"

   TeX 63 12

3. libjxl/libjxl libjxl/libjxl Public

   JPEG XL image format reference implementation

   C++ 3k 299

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

   The math library of Lean 4

   Lean 2.2k 641

5. klein klein Public

   Source for Felix Klein Protokolle

   JavaScript 1 1

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

   Rust 226 19