t4-verified v0.1.9 — Verus specifications and proofs for the t4 storage model.

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