leanprover-communityPhyslib

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

  1. Shreyas4991/Algoleanusesv4.29.0

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