Lean


Total Packages: 17

Popular Lean Packages See more »

modinverse
Small library for finding the modular multiplicative inverses.
Latest release 0.2.0 - Updated - 10 stars
giftpy
GIFT mathematical core - Formally verified constants (Lean 4)
Latest release 3.4.29 - Updated - 3 stars
telltale-lean-bridge
Lean verification bridge for Telltale session types
Latest release 5.0.0 - Updated - 5 stars
sphinxcontrib-lean
A Sphinx domain for the Lean theorem prover
Latest release 0.3.1 - Updated
telltale-vm
Bytecode VM for choreographic session type protocols
Latest release 4.0.1 - Updated - 5 stars

New Lean Packages See more »

qldpc-cert
Kernel-checked certification of QLDPC decoder outputs: two-sided per-run certificates (Lean 4 ver...
Latest release 0.1.0 - Published
gnomon-pgs
Python wrapper for SauersML/gnomon (high-performance polygenic score engine).
Latest release 0.1.0 - Published
machlib
Pre-alpha umbrella package for MachLib evidence tooling boundaries.
Latest release 0.0.1 - Published
lion-core
Lion microkernel — production types, state machine, and kernel API
Latest release 0.3.0 - Published - 15 stars
eth-cryptography-specs
Cryptography specifications for Ethereum
Latest release 0.1.0 - Published - 1 stars

Updated Lean Packages See more »

giftpy
GIFT mathematical core - Formally verified constants (Lean 4)
Latest release 3.4.29 - Updated - 3 stars
modinverse
Small library for finding the modular multiplicative inverses.
Latest release 0.2.0 - Updated - 10 stars
formulation-bench
Utilities for loading and working with the FormulationBench dataset.
Latest release 0.3.0 - Updated
github.com/fbundle/sorts
CoC with universes programming language
Latest release v0.0.0-20260515171948-31afb77120c4 - Updated - 2 stars
telltale-choreography
Choreographic programming for Telltale - effect-based distributed protocols
Latest release 6.0.0 - Updated - 5 stars

Most Depended upon Lean Packages

modinverse
Small library for finding the modular multiplicative inverses.
Latest release 0.2.0 - Updated - 10 stars
telltale-lean-bridge
Lean verification bridge for Telltale session types
Latest release 5.0.0 - Updated - 5 stars
telltale-vm
Bytecode VM for choreographic session type protocols
Latest release 4.0.1 - Updated - 5 stars
telltale-choreography
Choreographic programming for Telltale - effect-based distributed protocols
Latest release 6.0.0 - Updated - 5 stars
formulation-bench
Utilities for loading and working with the FormulationBench dataset.
Latest release 0.3.0 - Updated

Top Lean Licenses

MIT 9 projects

Apache-2.0 4 projects

BSD-3-Clause 1 project

CC0-1.0 1 project

GPL-3.0-only 1 project

Unlicense 1 project

Top Lean Package Managers

PyPI 9 projects

Cargo 7 projects

Go 1 project