#

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 22 public repositories matching this topic...

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.

machine-learning theorem-proving lean lean4

Updated Jan 2, 2025
Python

Crispher / MathlibExplorer

Visualizing the network of math theories.

visualization math lean mathlib

Updated Jun 9, 2024
Python

ezelikman / parsel

Code for Parsel 🐍 - generate complex programs with language models

python machine-learning ai robotics ml program-synthesis lean

Updated Sep 17, 2023
Python

lean-dojo / ReProver

Retrieval-Augmented Theorem Provers for Lean

machine-learning theorem-proving lean lean4

Updated Aug 29, 2024
Python

eGenix / egenix-pyrun

eGenix PyRun - Your friendly, lean, open source Python runtime

python distribution deployment runtime lean single-file

Updated Nov 12, 2024
Python

wellecks / llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

theorem-proving lean lean4 llm

Updated Nov 11, 2023
Python

lean-dojo / LeanDojoChatGPT

ChatGPT plugin for theorem proving in Lean

machine-learning theorem-proving lean lean4 large-language-models chatgpt chatgpt-plugin

Updated Apr 4, 2024
Python

BlackIQ / learn

Read README for more information.

lean mini small-projects

Updated Jun 5, 2021
Python

Seasawher / mathlib4-help

List of the output of #help command of mathlib4, including list of all tactics, commands...etc

reference lean lean4

Updated Jan 24, 2025
Python

gebner / m17n-lean

System-wide Lean input method

unicode input-method lean fcitx m17n ibus

Updated Feb 16, 2022
Python

srebughini / ASALIX

A comprehensive collection of mathematical tools and utilities designed to support Lean Six Sigma practitioners in their process improvement journey

lean six-sigma statistical-models process-optimization lean-six-sigma

Updated Aug 24, 2023
Python

utensil / ginac-lean

A work-in-progress Lean 4 binding to GiNaC

lean lean4

Updated Oct 9, 2024
Python

appliedfm / growth-data

Measuring the growth of open source formal methods

coq idris agda lean ada isabelle tla appliedfm

Updated Jan 23, 2025
Python

jmerle / lean-api-docs

Automatically updated API documentation for QuantConnect's Lean

api documentation lean quantconnect

Updated Aug 17, 2022
Python

GasStationManager / FormalizeWithTest

Autoformalization of coding problems, verified with test cases

ai ml lean autoformalizaion

Updated Nov 29, 2024
Python

pniau7 / BLS-Diet-Calculator

Script to calculate daily calories intake and macronutrient distribution according to Michael Matthews dieting book Bigger Leaner Stronger.

fitness gym lean diet strong

Updated May 24, 2022
Python

brkas96 / Searching-and-Sorting-Programs

Programas de busca e sorting em python

python sorting python3 codes sorting-algorithms lean implementation searching estudo codigos learnpython algoritmos-de-ordenacao aprendizagem

Updated Sep 29, 2022
Python

Production3000 / mvp3000evaluation

Rapid prototyping/MVP framework for sensor applications.

python sensor mvp rapid-prototyping lean

Updated Aug 28, 2024
Python

dmyTRUEk / aoc2024-lean4

Advent of Code 2024 solutions using Lean4

lean aoc adventofcode lean4 advent-of-code-2024 aoc2024 adventofcode2024 aoc-2024-in-lean aoc-2024-in-lean4

Updated Dec 23, 2024
Python

mcpcpc / openj

Kanban system for Lean manufacturing.

flask kanban lean

Updated Dec 8, 2023
Python

Created by Leonardo de Moura

Released 2013

Followers: 31 followers
Repository: leanprover/lean
Website: leanprover.github.io
Wikipedia: Wikipedia