stalmarck v0.1.0 — A crate implementing Stålmarck's method for efficiently proving propositional logic formulas and verifying logical validity.

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