Sign inSign up

leanprover/lean3

Lean Theorem Prover

C++Stars 2153Forks 225Watchers 2153Open issues 58License Apache License 2.0
Details
仓库信息
Ownerleanprover
Homepagehttp://leanprover.github.io/
GitHubhttps://github.com/leanprover/lean3
Last pushed2023-10-14
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--