Lean 4 Files

Lean 4 programming language and theorem prover

This is an exact mirror of the Lean 4 project, hosted at https://github.com/leanprover/lean4. SourceForge is not affiliated with Lean 4.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
v4.28.1	2026-04-14	4
v4.29.1	2026-04-14	11
v4.29.0	2026-03-27	1
v4.28.0	2026-02-16	3
v4.27.0	2026-01-23	1
Totals: 5 Items		20

Other Useful Business Software

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

Lean Copilot
LLMs as Copilots for Theorem Proving in Lean
DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
Laravel Forum
A slim, lean forum package designed for quick and easy integration
Sigma
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org . Sigma has moved to github.com/ontologyportal/sigmakee