4 ms·
Prof. Kevin Buzzard got a research grant for formalizing FLT in Lean. https://twitter.com/XenaProject/status/1712488019016515662 https://twitter.com/XenaProjec
by muldvarp 3y ago
Prof. Kevin Buzzard got a research grant for formalizing FLT in Lean.
https://twitter.com/XenaProject/status/1712488019016515662 https://twitter.com/XenaProject/status/1712488019016515662
- mikhailfranco 3y agoCircling the last survivor?