All public logs

Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 19:07, 1 April 2022 Wpcavendish talk contribs created page Talk:1105 as Sum of Two Squares (Created page with "The proof I've submitted here seems to rub up against the limits of human-readability. While it's in possible for someone to read through the table and subsequent list to validate the theorem, they'd probably have an easier time simply redoing the calculation themselves by computer. Does ProofWiki have another way of handling computation intensive results like this? The common mathematical practice of simply saying "it follows by direct computation," would be one extreme...")
• 17:49, 31 March 2022 Wpcavendish talk contribs created page Talk:Open Subset of Locally Path-Connected Space is Locally Path-Connected (Created page with "This proof is structurally identical to the proof that an open subset of a locally connected space is locally connected. Should this pair of results be refactored to highlight this commonality? --~~~~")