Semi-Interactive Assembly Verification in Knuckledragger (by philzook) — discussion
#assembly #formalmethods
