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
- "nice numbers" like 69? https://proofwiki.org/wiki/Number_whose_Square_and_Cube_use_all_Digits_Once 15 comments math
- What are some "rites of passage" in the study of mathematics? https://proofwiki.org/wiki/Series_Expansion_for_Pi_Cotangent_of_Pi_Lambda 181 comments math
- Applications of Mittag-Leffler Expansions https://proofwiki.org/wiki/Category:Mittag-Leffler_Expansions 6 comments math
- What are your favorite names of proofs? https://proofwiki.org/wiki/Idempotent_Magma_Element_forms_Singleton_Submagma 18 comments math
- ProofWiki Fermat's Two Square Theorem Error? https://proofwiki.org/wiki/Fermat's_Two_Squares_Theorem 4 comments math
- Why isn't the Axiom of Extensionality a definition of Equality? https://proofwiki.org/wiki/Definition:Set_Equality 14 comments math
- TIL a wiki for mathematical proofs exists, very helpful https://www.proofwiki.org/wiki/main_page 6 comments math
- Is there a constructive version of the sufficient part of this analysis proof? http://www.proofwiki.org/wiki/limit_of_function_by_convergent_sequences 10 comments math
- ProofWiki: This site HAS to grow. Help them out! http://www.proofwiki.org/wiki/main_page 63 comments math