[PaulHoule]

I want a really nice macro assembler for people who love assembly language (not gas!) tied to a theorem prover. It runs into the problem though that you kinda need portable code in 2023.