Repository navigation
Lean
Created by Leonardo de Moura
发布于 2013
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- 维基百科
Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming.
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Lean Theorem Prover
Lean 3's obsolete mathematical components library: please use mathlib4
Carbon is a modern ERP/MES/QMS. Perfect for complex assembly, job shops, and configure to order manufacturing.
Awesome List of resources on Agile Software Development.
LLMs as Copilots for Theorem Proving in Lean
Tool for data extraction and interacting with Lean programmatically.
Visualizing the network of math theories.
What to Read to Learn More About DevOps
What to Read to Learn More About DevOps
Code for Parsel 🐍 - generate complex programs with language models
Neovim support for the Lean theorem prover
Bug-free machine learning on stochastic computation graphs
A verification toolchain for Rust programs
A project to digitalise results from physics into Lean.
The "batteries included" extended library for the Lean programming language and theorem prover
Retrieval-Augmented Theorem Provers for Lean