Sign inSign up

leanprover-community/lean

Lean 3 Theorem Prover (community fork)

C++Stars 433Forks 80Watchers 433Open issues 131License Apache License 2.0
Details
仓库信息
Ownerleanprover-community
Homepagehttp://leanprover-community.github.io/
GitHubhttps://github.com/leanprover-community/lean
Last pushed2023-10-12
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--