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-12-18	100.2 MB	0
x86_64-linux.tar.gz	2025-12-18	102.7 MB	0
arm64-macOS.tar.gz	2025-12-18	3.9 MB	0
README.md	2025-12-18	217 Bytes	0
v4.26.0 source code.tar.gz	2025-12-18	174.6 kB	0
v4.26.0 source code.zip	2025-12-18	194.3 kB	0
Totals: 6 Items		207.1 MB	0

What's Changed

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

Full Changelog: https://github.com/lean-dojo/LeanCopilot/compare/v4.25.0...v4.26.0

Source: README.md, updated 2025-12-18

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Orchestrate Your AI Agents with Zenflow

The multi-agent workflow engine for modern teams. Zenflow executes coding, testing, and verification with deep repo awareness

Zenflow orchestrates AI agents like a real engineering system. With parallel execution, spec-driven workflows, and deep multi-repo understanding, agents plan, implement, test, and verify end-to-end. Upgrade to AI workflows that work the way your team does.

Try free now

Recommended Projects

DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
OpenLLM
Operating LLMs in production
LMDeploy
LMDeploy is a toolkit for compressing, deploying, and serving LLMs
GPT4All
Run Local LLMs on Any Device. Open-source
DeepSeekMath-V2
Towards self-verifiable mathematical reasoning

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