Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
0 comments
No comments yet.
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
(opens in new tab)
(quantamagazine.org)
1 points
paulpauper
9h ago
0 comments
Share
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Better HN