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.
A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups. If you are excited about democratizing AI access & AI agents, please star this repository and use the link in the readme to join our open source AI research team.
Lean Theorem Prover
Carbon is an open source ERP, MES and QMS for manufacturing. Perfect for complex assembly, contract manufacturing, and configure to order manufacturing.
Lean 3's obsolete mathematical components library: please use mathlib4
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.
A verification toolchain for Rust programs
Visualizing the network of math theories.
A project to digitalise results from physics into Lean.
Neovim support for the Lean theorem prover
What to Read to Learn More About DevOps
Code for Parsel - generate complex programs with language models
Bug-free machine learning on stochastic computation graphs
Created by Leonardo de Moura
Released 2013