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 411 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
Jul 1, 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
Jul 1, 2025 - C++
Tool for data extraction and interacting with Lean programmatically.
-
Updated
Jun 13, 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
Jun 30, 2025 - Lua
A verification toolchain for Rust programs
-
Updated
Jul 3, 2025 - OCaml
A lean framework stack for agile Web development based on Symfony and Vuetify
-
Updated
Jan 21, 2022 - PHP
常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码
-
Updated
Feb 18, 2024 - JavaScript
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
-
Updated
Aug 30, 2022 - C
Retrieval-Augmented Theorem Provers for Lean
-
Updated
Jan 30, 2025 - Python
Created by Leonardo de Moura
Released 2013
- Followers
- 37 followers
- Repository
- leanprover/lean
- Website
- github.com/topics/lean
- Wikipedia
- Wikipedia