aboutsummaryrefslogtreecommitdiff
path: root/coqprime
Commit message (Expand)AuthorAge
* Make Coq 8.5 the default target for Fiat-CryptoGravatar Jason Gross2016-06-22
* Absolutize Coqprime importsGravatar Jason Gross2016-03-10
* Automate a UList proof a bit so it builds with 8.5Gravatar Jason Gross2016-02-25
* Update Coqprime/UListGravatar Jason Gross2016-02-24
* Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
* recursive-build coqprimeGravatar Rob Sloan2016-01-28
* Import coqprime; use it to prove Euler's criterion.Gravatar Jade Philipoom2016-01-20