Hacker News new | ask | show | jobs
by OscarCunningham 974 days ago
He is finding Copilot useful to help with the formalisation: https://mathstodon.xyz/@tao/111271244206606941.