[Video](https://drive.google.com/file/d/1gjbz4GGU-GFwuk0Riv7S6Xdso3tAvMn6/view?usp=sharing) [Blog Review](https://isabellehp.github.io/isabelle2//2024/02/26/tri2-final-review.html)
