読者です 読者をやめる 読者になる 読者になる

natty 日記

技術系の情報を毎日更新したい

証明の一覧が載ってるWiki

ProofWiki というものがあります。眺めていると楽しいかもしれない。Wikipediaの証明の一覧ではないです。

ProofWiki

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