Top network posts

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