News for hackers. Stuff that matters.
Re:Terence Tao, "Machine Assisted Proof" [video] by spaduf on Thursday February 15, 2024 @12:27AM (#39379434)
Terrence talks a lot about his experiences with Lean and the field more generally on his Mastodon over at @[email protected]

There are no comments on this comment yet.