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

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

Source paper: https://www.whatdotheyknow.com/request/past_exam_papers_for_1st_year_of/response/1398416/attach/2/Fakour%20Zip%20Final%201.zip?cookie_passthrough=1[released examination archive], member `a10101w1-2.pdf`; original cover dated 2016-09-15.