Skip to content

Commit

Permalink
Merge pull request #149 from alexandersep/patch-4
Browse files Browse the repository at this point in the history
Update formal-verification.md
  • Loading branch information
nating authored Dec 11, 2024
2 parents ee668aa + cd02734 commit e392de6
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion website/docs/formal-verification.md
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,8 @@ CS4004
- [Alex's Formal Verification solutions](https://github.com/alexandersep/Formal-Verification-Solutions)

## Questions by Year

- [2023](https://www.tcd.ie/academicregistry/exams/assets/local/Past%20Papers%202023-2024/Semester%201/CSU%20CS7%20STU%20STP/CSU44004-1.pdf)
- [2022](https://www.tcd.ie/academicregistry/exams/assets/local/past-papers202223/CSU/CSU44004-1.pdf)
- [2021](https://www.tcd.ie/academicregistry/exams/assets/local/past-papers%20202122/SEM%201%20DREAMWEAVER%20UPLOADER%20PDF/CSU/CSU44004-901.pdf)
- [2020 (Sat January 2021 due to Covid)](https://www.tcd.ie/academicregistry/exams/assets/local/past-papers%20202021/CSU/CSU44004-1.pdf)
- [2019](https://www.tcd.ie/academicregistry/exams/assets/local/past%20papers201920/CSU/CSU44004-1.PDF)
Expand Down

0 comments on commit e392de6

Please sign in to comment.