leanprover-community/lean
View on GitHub ↗ ★ 435 C++ archived
Lean 3 Theorem Prover (community fork)
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2020-04-06 · latest 2023-11-02
20082026
-
…classical mathematics very obvious. [1] https://news.ycombinator.com/item?id=38102096#38104412 [2] https://github.com/leanprover-community/lean/blob/cce7990ea8... [3] https://github.com/leanprover-community/lean/blob/cce7990ea8...
comment by andrybak · 2023-11-02 · in What do we mean by "the foundations of mathematics"? -
I'm confused by "postulating an axiom doesn't count". Are you aware that choice is an axiom in Lean? https://github.com/leanprover-community/lean/blob/master/lib...
comment by hejsansvejsan · 2020-11-21 · in Why is dependent type theory more suitable than set theory for proof assistants? -
For people interested in using Lean, note that there's a community fork ( https://github.com/leanprover-community/lean ) of the last official Lean 3 release 3.4.2 ( https://github.com/leanprover/lean ). The fork is still under active…
comment by logicchains · 2020-04-06 · in Doing a math assignment with the Lean theorem prover