24h trend summary

Trending score 0.17, activity score 0.05, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-13: 89 stars and 8 forks.

Similar repositories

  1. 1. leanprover-community/mathlib4

    The math library of Lean 4

    GitHub repository with 3,433 stars and 1,396 forks.

    Trending score: 2.11; stars gained: +10; forks gained: +6.

    Language: Lean

    Topics: lean4

  2. 2. google-deepmind/formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub repository with 1,012 stars and 313 forks.

    Trending score: 1.97; stars gained: +4; forks gained: +3.

    Language: Lean

    Topics: formal-mathematics, lean4

  3. 3. google-deepmind/alphaproof-nexus-results

    Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

    GitHub repository with 235 stars and 19 forks.

    Trending score: 1.28; stars gained: +1; forks gained: +0.

    Language: Lean

  4. 4. leanprover/verso

    Lean documentation authoring tool

    GitHub repository with 348 stars and 109 forks.

    Trending score: 1.18; stars gained: +3; forks gained: +0.

    Language: Lean

  5. 5. leanprover-community/physlib

    A project to digitalise results from physics into Lean.

    GitHub repository with 606 stars and 120 forks.

    Trending score: 1.13; stars gained: +1; forks gained: +3.

    Language: Lean

    Topics: lean, physics, theorem-proving

  6. 6. ImperialCollegeLondon/FLT

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem

    GitHub repository with 911 stars and 128 forks.

    Trending score: 1.07; stars gained: +3; forks gained: +0.

    Language: Lean

Trending in Lean

  1. 1. leanprover-community/mathlib4

    The math library of Lean 4

    GitHub repository with 3,433 stars and 1,396 forks.

    Trending score: 2.11; stars gained: +10; forks gained: +6.

    Language: Lean

    Topics: lean4

  2. 2. google-deepmind/formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    GitHub repository with 1,012 stars and 313 forks.

    Trending score: 1.97; stars gained: +4; forks gained: +3.

    Language: Lean

    Topics: formal-mathematics, lean4

  3. 3. google-deepmind/alphaproof-nexus-results

    Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

    GitHub repository with 235 stars and 19 forks.

    Trending score: 1.28; stars gained: +1; forks gained: +0.

    Language: Lean

  4. 4. leanprover/verso

    Lean documentation authoring tool

    GitHub repository with 348 stars and 109 forks.

    Trending score: 1.18; stars gained: +3; forks gained: +0.

    Language: Lean

  5. 5. leanprover-community/physlib

    A project to digitalise results from physics into Lean.

    GitHub repository with 606 stars and 120 forks.

    Trending score: 1.13; stars gained: +1; forks gained: +3.

    Language: Lean

    Topics: lean, physics, theorem-proving

  6. 6. ImperialCollegeLondon/FLT

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem

    GitHub repository with 911 stars and 128 forks.

    Trending score: 1.07; stars gained: +3; forks gained: +0.

    Language: Lean