Leonardo de Moura
@Leonard41111588
Joined July 2023
59 Following 8.2K Followers
Here is our postmortem describing new Lean bugs found by OpenAI internal models. They are all fixed in Lean v4.33.1 Many thanks to Daniel Selsam from OpenAI for all the help.
Most Popular Users
