Looks similar
Treewidth?(ams.org)
26 points by RafelMri | 10 comments
Anatomy of a Formal Proof(ams.org)
119 points by bikenaga | 10 comments
A Century of Noether's Theorem(arxiv.org)
38 points by fanf2 | 6 comments
26 points by RafelMri | 10 comments
119 points by bikenaga | 10 comments
38 points by fanf2 | 6 comments