ProofWiki: site com várias demonstrações matemáticas
Saber demonstrar um teorema é uma tarefa fundamental para qualquer professor ou bacharel em Matemática. Muitos sites tentam reunir várias provas e um deles que descobri recentemente, ao acaso, é o ProofWiki.
Usando o mesmo software da Wikipedia, o MediaWiki, o ProofWiki é, em suas próprias palavras, "um compêndio on line de provas matemáticas". O objetivo do site é "a coleção, a colaboração e a classificação das demonstrações matemáticas".
Todos os símbolos matemáticos são escritos com MathJax e as provas estão sob uma licença Crative Commons. Vale a pena dar uma olhada.