Pinned Reservoir catalog
Search package metadata by name, description, keyword, license, toolchain, or dependency name. Proof-indexed projects connect to their exact Therefore declaration records.
782 packages
782 packages pinned from Reservoir
Oscario0/LeanBisection
The Bisection method is the simplest numerical approximation approach in mathematics that applies to any continuous function on an interval where the value of the function changes sign from one-end-point of the interval to another
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
pannous/Hyper
Hyperreal Numbers in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
physicslib/Physicslib
Solving Hilbert's sixth problem in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
postechsv/bakery
No package description is available.
Reservoir metadata only · declarations not indexed
provables/special-numbers
Special Numbers (Chapter 6 from Knuth's Concrete Mathematics)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
riccardobrasca/KummerCriterion
Proof of Kummer's criterion for regularity of a prime in Lean
Reservoir metadata only · declarations not indexed
riccardobrasca/math2001
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
SchrodingerZhu/hashbrown4lean
No package description is available.
Reservoir metadata only · declarations not indexed
somombo/swaps-perm
Mathematically defines of permutations of arrays and proves related theorems
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
suomela/Distributed2Coloring
2-Coloring Cycles in One Round: Formalization in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
tim-br/lean-test
lean4 unit testing framework
Reservoir metadata only · declarations not indexed
TristanCacqueray/gen-zmk
No package description is available.
Reservoir metadata only · declarations not indexed