Lean Copilot Files

LLMs as Copilots for Theorem Proving in Lean

This is an exact mirror of the Lean Copilot project, hosted at https://github.com/lean-dojo/LeanCopilot. SourceForge is not affiliated with Lean Copilot.

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

Name	Modified	Size	InfoDownloads / Week
Parent folder
arm64-linux.tar.gz	2026-08-19	547.8 MB	0
x86_64-linux.tar.gz	2026-08-19	236.1 MB	0
arm64-macOS.tar.gz	2026-08-19	34.4 MB	0
README.md	2026-08-18	475 Bytes	1
v4.32.0 source code.tar.gz	2026-08-18	178.4 kB	0
v4.32.0 source code.zip	2026-08-18	198.9 kB	1
Totals: 6 Items		818.7 MB	2

What's Changed

bump to Lean v4.32.0 & fix bugs by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/195
bump Lean Copilot to stable version Lean v4.32.0, fix https://github.com/lean-dojo/LeanCopilot/issues/137, fix https://github.com/lean-dojo/LeanCopilot/issues/196, and supercedes https://github.com/lean-dojo/LeanCopilot/pull/197. Closing all three as a result

Full Changelog: https://github.com/lean-dojo/LeanCopilot/compare/v4.31.0...v4.32.0

Source: README.md, updated 2026-08-18

Other Useful Business Software

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Start Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

Lean 4
Lean 4 programming language and theorem prover
DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
LMDeploy
LMDeploy is a toolkit for compressing, deploying, and serving LLMs
xLaDe
A Lean 4 Ecosystem Framework!
OpenLLM
Operating LLMs in production