In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
2 points
1 day ago
| 0 comments
| quantamagazine.org
| HN
No one has commented on this post.