aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
Commit message (Expand)AuthorAge
...
* BaseSystem to Util.ListUtil: separate out generic list lemmasGravatar Andres Erbsen2015-10-29
* Merge branch 'master' of github.mit.edu:rsloan/fiat-cryptoGravatar Andres Erbsen2015-10-29
|\
| * patches for galoisGravatar Robert Sloan2015-10-27
* | positional number system equivalence transcribed from pencil-and-paper proofs...Gravatar Andres Erbsen2015-10-25
|/
* add morphism-based field implGravatar Robert Sloan2015-10-22
* fix the makefile to not rebuild + module renamingGravatar Robert Sloan2015-10-22
* pull changes from desktopGravatar Robert Sloan2015-10-19
* gfPlus abstractionGravatar Robert Sloan2015-10-16
* make ring decidable + define constantsGravatar Robert Sloan2015-09-19
* makefile dependency orderGravatar Andres Erbsen2015-09-18
* Curves: elliptic curve point format record declarations and some invariantsGravatar Andres Erbsen2015-09-18
* import VerdiTacticsGravatar Andres Erbsen2015-09-17
* redo module structure + init curve25519Gravatar Robert Sloan2015-09-16
* init our centralized repoGravatar Robert Sloan2015-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 05:44:42 +0000