|
|
|
|
|
|
by deadbeef57
1823 days ago
|
|
|
I agree very much that mathlib != Lean. Still, I think much of the talk about Lean will mention that mathlib is classical. It was an honest question: I don't know where Lean is sold as a constructive system. (Note, I haven't read every part of Lean's documentation or website. I might be missing something obvious here.) |
|
|