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