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. For more information, see the SourceForge Open Source Mirror Directory.

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
x86_64-linux.tar.gz	2025-07-01	107.1 MB	0
arm64-linux.tar.gz	2025-07-01	101.6 MB	0
arm64-macOS.tar.gz	2025-07-01	4.0 MB	0
README.md	2025-07-01	399 Bytes	0
v4.21.0 source code.tar.gz	2025-07-01	174.7 kB	0
v4.21.0 source code.zip	2025-07-01	194.5 kB	0
Totals: 6 Items		213.0 MB	0

What's Changed

bump to latest unstable version by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/175
Kimina Prover api by @durant42040 in https://github.com/lean-dojo/LeanCopilot/pull/176
Bump to Lean v4.21.0 by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/178

Full Changelog: https://github.com/lean-dojo/LeanCopilot/compare/v4.20.0...v4.21.0

Source: README.md, updated 2025-07-01

Other Useful Business Software

Get Avast Free Antivirus | Your top-rated shield against malware and online scams

Boost your PC's defense against cyberthreats and web-based scams.

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.

Free Download

Simplify IT and security with a single endpoint management platform

Automate the hardest parts of IT

NinjaOne automates the hardest parts of IT, delivering visibility, security, and control over all endpoints for more than 20,000 customers. The NinjaOne automated endpoint management platform is proven to increase productivity, reduce security risk, and lower costs for IT teams and managed service providers. The company seamlessly integrates with a wide range of IT and security technologies. NinjaOne is obsessed with customer success and provides free and unlimited onboarding, training, and support.

Learn More

Recommended Projects

Artificial Intelligence Controller
AICI: Prompts as (Wasm) Programs
Apache OpenOffice
The free and Open Source productivity suite
Clonezilla
A partition and disk imaging/cloning program
7-Zip
A free file archiver for extremely high compression
KeePass
A lightweight and easy-to-use password manager

Lean Copilot Files

LLMs as Copilots for Theorem Proving in Lean

Get an email when there's a new version of Lean Copilot

What's Changed