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.

Lean 4 programming language and theorem prover

• UpdatedMar 17, 2025
• Lean

Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

• UpdatedMar 17, 2025
• PHP

Lean Theorem Prover

• UpdatedOct 14, 2023
• C++

Lean 3's obsolete mathematical components library: please use mathlib4

• UpdatedJun 28, 2024
• Lean

Awesome List of resources on Agile Software Development.

• UpdatedAug 10, 2024

LLMs as Copilots for Theorem Proving in Lean

• UpdatedMar 4, 2025
• C++

一键多编译固件

• UpdatedMar 17, 2025
• Shell

Tool for data extraction and interacting with Lean programmatically.

• UpdatedMar 10, 2025
• Python

Visualizing the network of math theories.

• UpdatedJun 9, 2024
• Python

What to Read to Learn More About DevOps

• UpdatedSep 14, 2022

Code for Parsel 🐍 - generate complex programs with language models

• UpdatedSep 17, 2023
• Python

Bug-free machine learning on stochastic computation graphs

• UpdatedMar 3, 2019
• Lean

Neovim support for the Lean theorem prover

• UpdatedMar 17, 2025
• Lua

LuCI design theme (Suitable for lede)

• UpdatedSep 11, 2024
• CSS

A lean framework stack for agile Web development based on Symfony and Vuetify

• UpdatedJan 21, 2022
• PHP

The "batteries included" extended library for the Lean programming language and theorem prover

• UpdatedMar 17, 2025
• Lean

GitHub Action 学习实例 - 自动编译 padavan 和 openWrt

• UpdatedAug 30, 2022
• C

常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码

• UpdatedFeb 18, 2024
• JavaScript

LLM verified with Monte Carlo Tree Search

• UpdatedFeb 7, 2025
• Jupyter Notebook

Retrieval-Augmented Theorem Provers for Lean

• UpdatedJan 30, 2025
• Python