rossi-prove v0.2.1 — Sequent-prover kernel for Event-B in Rossi: proof trees, reasoners, and stored-proof replay.

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