Up
hello world factorial append propositional calculus peano - fixes TeX face of peano succ and peano not - proofs removed logic - proves commutativity of addition in peano arithmetic [final]