Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture papermathstodon.xyz·2 pts·gridentio·2
Lean4 helped Terence Tao discover a small bug in his recent papermathstodon.xyz·497 pts·gridentio·220
Show HN: Gridentio – A small puzzle I made to learn some react and nodegridentio.com·11 pts·gridentio·4