Zulip Chat Archive
Stream: mathlib4
Topic: When mathlib4
crab (Jan 22 2022 at 20:50):
When mathlib4 port is finished, will lean 4 be just as good at theorem proving as lean, maybe even better?
crab (Jan 22 2022 at 20:54):
I’m hoping so
Patrick Stevens (Jan 22 2022 at 21:48):
What does "good at theorem proving" mean to you?
crab (Jan 22 2022 at 22:35):
Patrick Stevens said:
What does "good at theorem proving" mean to you?
All the capabilities
Arthur Paulino (Jan 22 2022 at 23:06):
crab said:
All the capabilities
Do you mean everything that Lean 3 currently supports? I haven't heard of anything that will be dropped.
Last updated: Dec 20 2023 at 11:08 UTC