Forum:Sigma project

We should create a central hub page (in the project namespace probably) for the ongoing project of evaluating Sigma(5). (As a sidenote, I think we should devise a more concise TM notation that doesn't take up, like, 20 lines.) it's vel time 02:46, September 28, 2014 (UTC)