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
“`
Note that this will lead to some warning from Coq when building, but
those should be safe to ignore.
Completing Homework 6
Please complete the problems listed in `HW6.v` (this involves completing
problems in multiple files in this directory).
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 `hw6.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!
