Pinned Loading

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

   The math library of Lean 4

   Lean 2.6k 902

2. nomeata/incredible nomeata/incredible Public

   The Incredible Proof Machine

   Haskell 386 38

3. fusible fusible Public

   Exploration in fusible numbers

   Mathematica 1 1

4. contents contents Public

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

   15 2