dafny-replay

local single-HTML demos