Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
I'll plug this again in case someone missed it -- there is a TCS proposal on Area 51.
I think it is very welcome here. We've had many TCS questions so far.
Now I just need to get my fellow colleagues who work on 'mechanized mathematics' to take a good look at MO!
@geomblog: My intention is to follow both. [But I don't understand why the UI proposal is 19% complete with 49 commits and TCS is 17% complete with 169!]
1 to 10 of 10