- 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