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-02-17	111.2 MB	0
x86_64-linux.tar.gz	2026-02-16	116.3 MB	1
arm64-macOS.tar.gz	2026-02-16	4.0 MB	1
README.md	2026-02-16	224 Bytes	0
v4.28.0 source code.tar.gz	2026-02-16	174.6 kB	0
v4.28.0 source code.zip	2026-02-16	194.4 kB	0
Totals: 6 Items		231.9 MB	2

What's Changed

Bump to latest stable version Lean 4.28.0 by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/190

Full Changelog: https://github.com/lean-dojo/LeanCopilot/compare/v4.27.0...v4.28.0

Source: README.md, updated 2026-02-16

Other Useful Business Software

The full-stack observability platform that protects your dataLayer, tags and conversion data

Stop losing revenue to bad data today. and protect your marketing data with Code-Cube.io.

Code-Cube.io detects issues instantly, alerts you in real time and helps you resolve them fast. No manual QA. No unreliable data. Just data you can trust and act on.

Learn More

Data management solutions for confident marketing

For companies wanting a complete Data Management solution that is native to Salesforce

Verify, deduplicate, manipulate, and assign records automatically to keep your CRM data accurate, complete, and ready for business.

Learn More

The full-stack observability platform that protects your dataLayer, tags and conversion data

Stop losing revenue to bad data today. and protect your marketing data with Code-Cube.io.

Code-Cube.io detects issues instantly, alerts you in real time and helps you resolve them fast. No manual QA. No unreliable data. Just data you can trust and act on.

Learn More

Recommended Projects

Lean 4
Lean 4 programming language and theorem prover
OpenLLM
Operating LLMs in production
Artificial Intelligence Controller
AICI: Prompts as (Wasm) Programs
gemma.cpp
lightweight, standalone C++ inference engine for Google's Gemma models
LoRAX
Multi-LoRA inference server that scales to 1000s of fine-tuned LLMs

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