Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 comments
Subscribe to:
Post Comments (Atom)
JOB JUNCTION🔬 IPR PhD in Physics 2025 Admission – Apply Now!
MaruGujarat.in The Institute for Plasma Research (IPR), a premier scientific institute under the Department of Atomic Energy, invites appl...
No comments:
Post a Comment