4 ms·
He is finding Copilot useful to help with the formalisation: https://mathstodon.xyz/@tao/111271244206606941 https://mathstodon.xyz/@tao/111271244206606941.
by OscarCunningham 3y ago
He is finding Copilot useful to help with the formalisation: https://mathstodon.xyz/@tao/111271244206606941 https://mathstodon.xyz/@tao/111271244206606941.