Who Can Understand the Proof? A Window on Formalized Mathematics \ stacker news ~tech

pull down to refresh

Who Can Understand the Proof? A Window on Formalized Mathematics writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/

13 sats \ 0 comments \ @hn 10 Jan tech

This link was posted by ColinWright 1 hour ago on HN. It received 49 points and 16 comments.

related posts

view all related items