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-11	112.2 MB	1
x86_64-linux.tar.gz	2026-02-11	117.4 MB	0
arm64-macOS.tar.gz	2026-02-11	4.0 MB	0
README.md	2026-02-11	262 Bytes	0
v4.27.0 source code.tar.gz	2026-02-11	174.6 kB	0
v4.27.0 source code.zip	2026-02-11	194.4 kB	0
Totals: 6 Items		234.1 MB	1

What's Changed

Bump to latest stable version Lean 4.27.0 & Fix bugs due to dependency upgrades by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/189

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

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

Other Useful Business Software

Collect! is a highly configurable debt collection software

Everything that matters to debt collection, all in one solution.

The flexible & scalable debt collection software built to automate your workflow. From startup to enterprise, we have the solution for you.

Learn More

AestheticsPro Medical Spa Software

Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.

Learn More

Collect! is a highly configurable debt collection software

Everything that matters to debt collection, all in one solution.

The flexible & scalable debt collection software built to automate your workflow. From startup to enterprise, we have the solution for you.

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