» » New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper

New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper

Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 comments on Hacker News.


Share on Facebook
Share on Twitter
Share on Google+
Share on LinkedIn

Subscribe to receive free email updates:

0 Response to "New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper"

Post a Comment

Subscribe to: Post Comments (Atom)