1. 2020. The Coq Proof Assistant. https://coq.inria.fr/ 2020. The Coq Proof Assistant. https://coq.inria.fr/
2. Herding Cats
3. Arm. 2020. Arm architecture reference manual Armv8 for Armv8-A architecture profile (DDI 0487F.b). https://static.docs.arm.com/ddi0487/fb/DDI0487F_b_armv8_arm.pdf Arm. 2020. Arm architecture reference manual Armv8 for Armv8-A architecture profile (DDI 0487F.b). https://static.docs.arm.com/ddi0487/fb/DDI0487F_b_armv8_arm.pdf
4. ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS