3 ms·
If you want to see this kind of thing done “really in real time” check out Terry Tao’s recent mathstodon posts where he learns Lean while formalizing a paper of
by tezthenerd 3y ago
If you want to see this kind of thing done “really in real time” check out Terry Tao’s recent mathstodon posts where he learns Lean while formalizing a paper of his own. Fascinating stuff.
- SkyMarshal 3y agohttps://mathstodon.xyz/@tao https://mathstodon.xyz/@tao