#lean (15 Repositories)
Ranked open-source repositories tagged with #lean, scored by pull request acceptance likelihood and maintainer engagement velocity.
32.6%
66.6h
15 repositories tagged #lean
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
AeneasVerif/aeneas
A verification toolchain for Rust programs
Leantime/leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
crbnos/carbon
Carbon is an open source ERP, MES and QMS for manufacturing. Perfect for complex assembly, contract manufacturing, high volume, and configure to order manufacturing.
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
leanprover/cslib
The Lean Computer Science Library (CSLib)
leanprover-community/physlib
A project to digitalise results from physics into Lean.
leanprover/lean4
Lean 4 programming language and theorem prover
Julian/lean.nvim
Neovim support for the Lean theorem prover
verse-lab/veil
A verifier for automated and interactive proofs about transition systems.
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
0x676e67/luci-theme-design
LuCI design theme (Suitable for lede)
lorabv/awesome-agile
Awesome List of resources on Agile Software Development.