Sounds to me like it would be an awesome resource for mathematicians. It's just a different brand of information, but many people would love to have a useable p

Sounds to me like it would be an awesome resource for mathematicians. It's just a different brand of information, but many people would love to have a useable proof reference and knowledge dependency system. Especially if it can be audited and contributed to easily.