Baike.dev
All toolsAI codingTrendingOpen sourceNewsSubmit
Log in
< Back to tools
L

lean3

> 编程语言
Open source

Lean Theorem Prover

2.2K stars0 likes0 views
WebsiteGitHub

About

Lean Theorem Prover

This repository has been frozen. Lean 4 is now the official release.

About

  • Homepage
  • Theorem Proving in Lean
  • FAQ

Installation

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.

Issues· 0 open

View all issuesOpen on GitHub

No open issues yet, or sync has not completed.

> Tags

C++dependent-typesleanprogramming-languagetheorem-proving

No comments yet. Be the first to share.

> Details

PublishedAug 1, 2026
UpdatedSep 17, 2026
Category编程语言
PricingOpen source

> Related tools

T
TypeScript
JavaScript 的超集，为前端与全栈提供静态类型
P
Python
通用编程语言，广泛用于 Web、数据与 AI
G
Go
Google 推出的简洁高效系统语言