2025-11-27

Fun paper about modelling Assembly in Rocq: https://nickbenton.name/coqasm.pdf.