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

#assembly #formalmethods