a thoughtful web.
comments
posts
badges
Good ideas and conversation. No ads, no tracking.
Login
or
Take a Tour
!
mrhazy's shared posts
activity:
activity
·
time
Voevodsky’s Mathematical Revolution | Using Computers to Prove Theorems
mrhazy
1
PalomoPlays
scientificamerican.com
·
#math
·
#computers
·
#computers
about
tutorial
faq
rss
tmi
random
privacy & terms
weather
donate
login