leanprover-communityPhyslib

A project to digitalise results from physics into Lean.
Displaying 1-2 of 2 packages depending on leanprover-community/Physlib
Sort by

  1. Shreyas4991/Algoleanusesv4.35.0

    Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"

  2. eic/EpsilonEridaniuses2080644

    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