goens/Hoare
Hoare
Hoare Logic in Lean
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- MIT
Reservoir observed an exact-toolchain build failure. 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
Gusarich/tvm-lean
tvm-lean
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
HannahSantos/FMCn_Lean
FMCn_Lean
Repositório destinado às práticas de Lean4 da Monitoria de FMCn.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- MIT
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
hargoniX/crup
crup
A Checker for RUP proofs written in Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- GPL-3.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
hargup/http-client
http-client
A Curl wrapper written in Lean 4 to be used as a http-client in lean 4 projects
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
hdmkindom/mathmatic_in_elementary_number_th
mathmatic_in_elementary_number_th
初等数论讲义的形式化证明 by lean4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
incremental-computing/autoinc
autoinc
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Izzimach/lean-glfw
lean-glfw
C bindings and marshalling to use GLFW and OpenGL from the lean4 theorem prover
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- MIT
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
JasonShroyer/sgc
sgc
Lean 4 library characterizing the algebraic structure of metastability and consolidation in stochastic systems
Reservoir metadata only · declarations not indexed
- Versions
- 6
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- Apache-2.0
juhp/curljson
curljson
curljson: a small Lean4 library to fetch JSON with libCurl
Reservoir metadata only · declarations not indexed
- Versions
- 2
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Jun2M/MasterDiss
MasterDiss
Proving the main theorem of polytopes using Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- Apache-2.0
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
katzenpost/crypt_walker
crypt_walker
Lean and Rust based cryptographic protocol framework for formally proving protocol properties
Reservoir metadata only · declarations not indexed
- Versions
- 0
- Declarations
- Not indexed
- GitHub stars
- 3
- License
- AGPL-3.0