5,028 followers
@daniel_dunbar @stephentyrone @lemire @geofflangdale Strata (@stefan_heule) perhaps comes close: https://t.co/To3ATQxSXj Related: Synthesis of Machine Code: https://t.co/zpFtk87QZW Shilpi Goel's research on formal, executable x86 ISA: https://t.co/UhND7os9