Pinned Loading

1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 4.2k 1.7k

2. fusible fusible Public

   Exploration in fusible numbers

   Mathematica 1 1

3. lean-eval lean-eval Public

   Forked from leanprover/lean-eval

   Comparator-based Lean formal mathematics eval

   Lean

4. contents contents Public

   GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.

   15 3