aion_verify v0.1.0 — An exhaustive bounded proof engine: check a predicate against EVERY input in a finite/bounded domain and get back Proven { cases } or Refuted with the counterexample — complete co

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