Top network posts

• 83 What package allows Elvish in TeX?
• 69 Titles composed entirely of math symbols
• 62 A bestiary of topologies on Sch
• 48 How much of the ATLAS of finite groups is independently checked and/or computer verified?
• 47 Double blind peer review when paper cites author's GitHub repo for code
• 44 How true are theorems proved by Coq?
• 44 Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
• View more network posts →