Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
frap @ e9e8e6b
Added Pset7
Mar 22, 2017
pset1
Added Pset1
Feb 8, 2017
pset10
Added Pset10
Apr 19, 2017
pset11
Added Pset11
Apr 26, 2017
pset12
Added Pset12
May 3, 2017
pset13
Added Pset13
May 10, 2017
pset2
Add another suggested lemma
Feb 19, 2017
pset3
Added Pset3
Feb 22, 2017
pset4
Added Pset4
Mar 1, 2017
pset5
Fixed _CoqProject for Pset5
Mar 8, 2017
pset6
Fixed Makefile in Pset6
Mar 15, 2017
pset7
Added Pset7
Mar 22, 2017
pset8
Added Pset8
Apr 5, 2017
pset9
Added Pset9
Apr 12, 2017
.gitmodules
Added Pset1
Feb 8, 2017
README.md
Added git submodule instructions to README
Feb 10, 2017
configure_coqbin.sh
Added a script to configure COQBIN
Feb 10, 2017