http://au.metamath.org/index.html
提供非常多的證明。
多到叫人流淚。（當然，這可能是在下的主觀偏誤。）
內容有：
Metamath Proof Explorer
Propositional calculus、predicate calculus、
Zermelo-Fraenkel set theory
Hilbert Space Explorer
Extends ZFC set theory into Hilbert space
Quantum Logic Explorer
Metamath Solitaire
一個可以讓使用者從 axiom 和定義自己推導 theorem 的 Java applet
GIF and PNG Images for Math Symbols
數學符號的圖片（因為有些字會打不出來）
Metamath Music Page
把每個證明弄成音樂（沒試過，不知道聽起來如何？）
--
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
im not in love but im gonna fuck you til somebody better comes to love
im not in love but im gonna fuck you til somebody better comes to fuck me
ˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍˍ
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.228.86.46