This repository contains the assignments from CS2603 (2021 Spring) with my solutions. I included the problems as a reference, but I do not claim the copyright of these problems.
If you found any mistakes in the solutions, please create an issue or contact me through email.
- This repository was tested with Coq Version 8.12.2, Windows 10.
- Files in
/Imp
should be compiled according to the instructions from Separate Compilation in Software Foundations. - Assignment 6 also requires the VST submodule from PrincetonUniversity/VST. Please install it according to the instructions.
- My solutions are provided under GNU General Public License v3.0. See
LICENSE
for more information.