h5i-app-std v0.1.1 — Byte strings, sets and maps for h5i-app kernels, extracted to Lean and proven

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