Lean
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.
Here are 407 public repositories matching this topic...
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
-
Updated
May 17, 2025 - PHP
Lean Theorem Prover
-
Updated
Oct 14, 2023 - C++
Lean 3's obsolete mathematical components library: please use mathlib4
-
Updated
Jun 28, 2024 - Lean
Awesome List of resources on Agile Software Development.
-
Updated
Aug 10, 2024
LLMs as Copilots for Theorem Proving in Lean
-
Updated
May 18, 2025 - C++
Tool for data extraction and interacting with Lean programmatically.
-
Updated
May 18, 2025 - Python
Visualizing the network of math theories.
-
Updated
Jun 9, 2024 - Python
What to Read to Learn More About DevOps
-
Updated
Sep 14, 2022
Code for Parsel 🐍 - generate complex programs with language models
-
Updated
Sep 17, 2023 - Python
Bug-free machine learning on stochastic computation graphs
-
Updated
Mar 3, 2019 - Lean
Neovim support for the Lean theorem prover
-
Updated
May 21, 2025 - Lua
A lean framework stack for agile Web development based on Symfony and Vuetify
-
Updated
Jan 21, 2022 - PHP
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
-
Updated
Aug 30, 2022 - C
常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码
-
Updated
Feb 18, 2024 - JavaScript
LLM verified with Monte Carlo Tree Search
-
Updated
Mar 31, 2025 - Jupyter Notebook
Retrieval-Augmented Theorem Provers for Lean
-
Updated
Jan 30, 2025 - Python
Created by Leonardo de Moura
Released 2013
- Followers
- 34 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia