That sounds dizzying... Hope you got some sleep. 😴
June 17, 2025 at 12:10 AM
That sounds dizzying... Hope you got some sleep. 😴
Sounds like an exciting talk! Will your slides be publicly available?
June 12, 2025 at 5:16 PM
Sounds like an exciting talk! Will your slides be publicly available?
Bhavik Mehta delivered a talk about this at Big Proof this morning, and also announced that a substantial portion of the full proof has been completely *autoformalized* by Morph Labs' AI new model "Trinity".
www.youtube.com/watch?v=zLqh...
www.youtube.com/watch?v=zLqh...
Big proof: formalizing mathematics at scale | Thursday 12th June
YouTube video by INI Seminar Room 1
www.youtube.com
June 12, 2025 at 4:10 PM
Bhavik Mehta delivered a talk about this at Big Proof this morning, and also announced that a substantial portion of the full proof has been completely *autoformalized* by Morph Labs' AI new model "Trinity".
www.youtube.com/watch?v=zLqh...
www.youtube.com/watch?v=zLqh...
Here's the video: www.youtube.com/watch?v=zLqh...
Big proof: formalizing mathematics at scale | Thursday 12th June
YouTube video by INI Seminar Room 1
www.youtube.com
June 12, 2025 at 4:03 PM
Here's the video: www.youtube.com/watch?v=zLqh...
The Lean Language Reference does some of this too. lean-lang.org/doc/referenc...
June 5, 2025 at 12:16 AM
The Lean Language Reference does some of this too. lean-lang.org/doc/referenc...
chickenchase.swift? henhorse.swift? 😂
June 3, 2025 at 8:41 PM
chickenchase.swift? henhorse.swift? 😂