 Digital systems, linear algebra, introduction to formal proof resit

Solutions to all eight questions of the 7 September 2022 resit. Released Oxford examination archive, member 2021/L/a10101w1.pdf. The dated cover establishes the year despite the undated held filename and misleading archive directory. The Thumb instruction set listings assume the 32-bit AAPCS32 data layout; the timer calculation in Question 2 corrects a numerical slip in the paper.