Hacker News
- ProofWiki: Online compendium of mathematical proofs https://proofwiki.org/wiki/Main_Page 32 comments
- ProofWiki is an online compendium of mathematical proofs https://proofwiki.org/wiki/Main_Page 16 comments
- Anything you wanted to know about ProofWiki https://www.reddit.com/r/math/comments/deq79b/anything_you_wanted_to_know_about_proofwiki/ 15 comments math
- ProofWiki Fermat's Two Square Theorem Error? https://proofwiki.org/wiki/Fermat's_Two_Squares_Theorem 4 comments math
- ProofWiki: This site HAS to grow. Help them out! http://www.proofwiki.org/wiki/main_page 63 comments math