#

lean4

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

hrmacbeth / math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

lean4

Updated Dec 9, 2024
HTML

pitmonticone / ItaLean2025

Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.

machine-learning ai conference artificial-intelligence formal-methods formal-mathematics lean4 ai4math

Updated Feb 6, 2026
HTML

YaelDillies / add-combi

The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics

combinatorics lean4 additive-combinatorics

Updated Apr 12, 2026
HTML

lean-dojo / LeanDojoWebsite

Code for LeanDojo's website

machine-learning theorem-proving lean lean4 llm

Updated Feb 28, 2026
HTML

hrmacbeth / computations_in_lean

A tutorial on doing proofs with a computational flavour in the Lean proof assistant, and particularly on using the tactic polyrith

lean4

Updated Sep 8, 2024
HTML

gleachkr / lean.lua

A custom pandoc reader for literate programming in lean

markdown pandoc lean4

Updated Jan 8, 2025
HTML

aconite-ac / aconite-ac.github.io

自身の哲学探究サイト『束跡』をホストしたり、Leanの日本語情報(非公式)を掲載したりしています。

lean lean4

Updated Apr 12, 2026
HTML

svkampen / msc-thesis

Formalization of Abstract Rewriting in Lean 4

formalization lean4

Updated Jan 23, 2025
HTML

TOTOGT / AXLE

HOME OF THE AXLE + toy machine fruit fly 🪰 + Independent researcher · GOMC Science · contact geometry · Lean 4 proofs · free clinic Newark NJ · 229 Ballantine · C → K → F → U → ∞ ── GITHUB PROFILE README ── # Pablo N. Grossi · G6 LLC · Newark NJ **Independent R&D

toy-project axle lean4

Updated Apr 19, 2026
HTML

CamJohnson26 / agent-first-fizzbuzz-scalable

A fully autonomous, AI-developed monorepo project that reimagines the classic FizzBuzz algorithm for enterprise-level scalability.

monorepo fizzbuzz playwright lean4 turborepo ai-driven react-19 agent-first

Updated Apr 19, 2026
HTML

subroy13 / mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

forked-repo lean4

Updated Nov 8, 2025
HTML

leanprover-cookbook / leanprover-cookbook.github.io

cookbook leanprover lean4

Updated Mar 9, 2026
HTML

RaYaZ-HaQ / mechanics-of-proofs

Fork of https://github.com/hrmacbeth/math2001/ working through the chapters of the book 'Mechanics of Proofs'.

mathematics lean4

Updated Oct 22, 2025
HTML

Seasawher / mathematics_in_lean_my_solutions

my attempt to solve exercises in "mathematics in lean"

mathematics lean4

Updated May 22, 2024
HTML

vishallama / mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

theorem-proving proof-assistant lean4

Updated Aug 23, 2025
HTML

Created by Leonardo de Moura

Released 2013

Followers: 42 followers
Repository: leanprover/lean
Website: github.com/topics/lean
Wikipedia: Wikipedia