Popular repositories Loading

1. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

2. PhysLean PhysLean Public

   Forked from leanprover-community/physlib

   A project to digitalise results from physics into Lean.

   Lean

3. ABCompose ABCompose Public

   Toolkit designed to integrate AI agents into music composition and engraving

   Shell