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

#assembly #formalmethods