3 ms·Formalisation of the classification of finite simple groups must be on someone’s ‘moonshot’ list.by vmilner 1mo agoFormalisation of the classification of finite simple groups must be on someone’s ‘moonshot’ list.