Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
frap @ 49a020a
Add instructions for problem sets
Feb 4, 2018
pset1
Note that FRAP library doesn't build with Coq 8.4
Feb 8, 2018
pset10
minus notation should be for subtraction, not set minus
Apr 26, 2018
pset11
Added Pset 11
Apr 25, 2018
pset12
Added Pset 12
May 2, 2018
pset13
Added Pset 13
May 9, 2018
pset2
Added Pset2
Feb 12, 2018
pset3
Modify comments in Pset 3
Feb 28, 2018
pset4
Added Pset 4
Feb 28, 2018
pset5
Added Pset 5
Mar 7, 2018
pset6
Pset 6: Use [Type] instead of [Set] in problem definition
Mar 16, 2018
pset7
Added Pset 7
Mar 21, 2018
pset8
Added Pset 8
Apr 4, 2018
pset9
Pset 9: rename Pset8Check to Pset9Check
Apr 11, 2018
.gitignore
Added Pset1
Feb 4, 2018
.gitmodules
Add instructions for problem sets
Feb 4, 2018
README.md
Update README with more concrete instructions for completing problem …
Feb 14, 2018
configure_coqbin.sh
Add instructions for problem sets
Feb 4, 2018