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!
