Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code (by philzook) — discussion
#assembly #formalmethods
