Sign inSign up

leanprover/lean4

Lean 4 programming language and theorem prover

LeanStars 6895Forks 717Watchers 6895Open issues 1143License Apache License 2.0
Details
仓库信息
Ownerleanprover
Homepagehttps://lean-lang.org
GitHubhttps://github.com/leanprover/lean4
Last pushed2025-12-14
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--