Course website: https://frap.csail.mit.edu
Use git clone --recursive to clone this repository. If you have already
cloned it without submodules, use git submodule init followed by git submodule update
to get the 6.512 Coq library in frap/.
Each pset will appear in this repository. Pset 1 is already available in
pset01_ProgramAnalysis/. Instructions for completing it are in
pset01_ProgramAnalysis/Pset1Signature.v.
Happy proving!