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
arm64-linux.tar.gz	2025-06-06	99.8 MB	0
x86_64-linux.tar.gz	2025-06-06	105.2 MB	0
arm64-macOS.tar.gz	2025-06-06	3.8 MB	0
README.md	2025-06-06	429 Bytes	0
v4.20.0 source code.tar.gz	2025-06-06	174.6 kB	0
v4.20.0 source code.zip	2025-06-06	194.4 kB	0
Totals: 6 Items		209.2 MB	0

What's Changed

Update README for Windows by @durant42040 in https://github.com/lean-dojo/LeanCopilot/pull/170
Compile ct2.o with downloaded C++ headers by @durant42040 in https://github.com/lean-dojo/LeanCopilot/pull/171
Bump to latest stable Lean version by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/173

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

Source: README.md, updated 2025-06-06

Other Useful Business Software

Powering the best of the internet | Fastly

Fastly's edge cloud platform delivers faster, safer, and more scalable sites and apps to customers.

Ensure your websites, applications and services can effortlessly handle the demands of your users with Fastly. Fastly’s portfolio is designed to be highly performant, personalized and secure while seamlessly scaling to support your growth.

Try for free

Turn Your Content into Interactive Magic - For Free

From Canva to Slides, Desmos to YouTube, Lumio works with the tech tools you are already using.

Transform anything you share into an engaging digital experience - for free. Instantly convert your PDFs, slides, and files into dynamic, interactive sessions with built-in collaboration tools, activities, and real-time assessment. From teaching to training to team building, make every presentation unforgettable. Used by millions for education, business, and professional development.

Start Free Forever

Recommended Projects

Artificial Intelligence Controller
AICI: Prompts as (Wasm) Programs
KeePass
A lightweight and easy-to-use password manager
7-Zip
A free file archiver for extremely high compression
DeSmuME: Nintendo DS emulator
DeSmuME is a Nintendo DS emulator
Apache OpenOffice
The free and Open Source productivity suite

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