anoma/goose
goose
GOOSE in Lean4
Reservoir metadata only · declarations not indexed
- Versions
- 5
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- ISC
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Pinned Reservoir catalog
Lean packages and dependencies
Search package metadata by name, description, keyword, license, toolchain, or dependency name. Proof-indexed projects connect to their exact Therefore declaration records.
Package records are ecosystem metadata. Build evidence appears only when Reservoir observed the exact revision and toolchain.
782 packages
782 packages pinned from Reservoir
argumentcomputer/Http.lean
Http.lean
Basic Http functionality in Lean (unfinished)
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
b-mehta/AharoniKorman
AharoniKorman
Disproof of the Aharoni–Korman conjecture
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Bergschaf/banach_tarski
banach_tarski
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- Apache-2.0
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
dannypsnl/violet
violet
A programming language, half theorem prover
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- BSD-3-Clause
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
fpvandoorn/bonnAnalysis
bonnAnalysis
repository for the collaborative formalization seminar in Analysis in Bonn
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
girving/ray-series
ray-series
Power series arithmetic in Lean
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
imbrem/DeBruijnSSA
DeBruijnSSA
A formalization of SSA in Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 2
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- 0BSD
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Izzimach/pteffects
pteffects
Effect monads with specifications (DIjkstra Monads) in Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- MIT
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
kim-em/Hex
Hex
Verified computational algebra in Lean 4 - polynomial factoring, LLL, and friends
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- Apache-2.0
klavins/LeanW26
LeanW26
Eric'sW26 Course on Lean
Reservoir metadata only · declarations not indexed
- Versions
- 4
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- GPL-3.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
madvorak/duality
duality
Duality theory in linear optimization and its extensions
Reservoir metadata only · declarations not indexed
- Versions
- 8
- Declarations
- Not indexed
- GitHub stars
- 12
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.