Als Metamath siehe http://us.metamath.org/ I've only taken a quick look at this yet, but that was enough to tell me to post this link here: http://us.metamath.org/ Front page excerpt: Metamath Proof Explorer - Constructs mathematics from scratch, starting from ZFC set theory axioms. Over 6,000 proo...