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]
[ Parent
| on HN ]
There are no comments on this comment yet.