eicEpsilonEridani

An AIs-welcome Lean library downstream of Mathlib, Physlib, and Tau Ceti: AI handle the implementation and review, humans write the roadmaps and review rubrics
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibccbef15

    The math library of Lean 4
  2. Git dependency.
    Found on Reservoir.

    TauCeti5a01f5f

    An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
  3. Git dependency.
    Found on Reservoir.

    Physlib2080644

    A project to digitalise results from physics into Lean.