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

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

Source paper: https://www.whatdotheyknow.com/request/ba_computer_science_past_papers/response/2577745/attach/2/202402%20183%20CS%20Papers.zip?cookie_passthrough=1[released examination archive]. The dated cover identifies the 17 June 2021 preliminary examination, A10101W1. All printed alternatives are treated below.