ProofWiki というものがあります。眺めていると楽しいかもしれない。Wikipediaの証明の一覧ではないです。 ProofWiki 名前の無い定理は検索しづらいのが難点。まだ基礎的な内容が多く、カテゴリ自体編集されていないものもたくさんあるので、証明好きの方は…