Description
To build Coq 8.8 and FRAP, please follow the same setup instructions as for
past homework assignments.
Linking to FRAP
Once you have built FRAP, you will need to create a symlink in this directory.
For example, if you installed FRAP in your home directory (`~/frap`), then
you should run:
“`
ln -s ~/frap frap
“`
# Completing Homework 3
Please complete the problems in `HW3.v`.
Building Homeworks
To build each homework, use the Makefile. For example:
“`
source configure_coqbin.sh
make
“`
Building a homework should take seconds.
Submitting Homework Assignments
Package your homework by running the `package.sh` script in this directory:
“`
./package.sh
“`
This will create a file `hw3.zip` in the parent directory. Upload this file
to the [505 18au Gradescope](https://www.gradescope.com/courses/26971). Make
sure to upload to the correct assignment!
