bourbaki-engine v0.2.0 — A proof checker for Bourbaki's Theory of Sets: proofs are written the way the book writes them and checked down to the axioms

Sign in to join the discussion — your thebay.events account works here.