Digital systems, linear algebra, introduction to formal proof (source code)

= Digital systems, linear algebra, introduction to formal proof
{scope}
{title2=A10101W1}

Worked solutions to the paper dated 16 June 2022. The released archive files it under `2021/T/a10101w1.pdf`; the printed date identifies the examination. Source release: https://www.whatdotheyknow.com/request/ba_computer_science_past_papers/response/2577745/attach/2/202402%20183%20CS%20Papers.zip?cookie_passthrough=1[Oxford computer science examination release]. All eight questions are covered, including those beyond the examination's choice requirement.