Commit message (Expand) | Author | Age | |
---|---|---|---|
* | remove field_algebra | 2016-07-11 | |
* | Fix broken notations (hopefully) | 2016-06-22 | |
* | use Local Obligation Tactic (8.5-compat) | 2016-06-21 | |
* | remove trailing whitespace from src/ | 2016-06-20 | |
* | move nsatz out of algebra, improve algebra, port CompleteEdwardsCurveTheorems | 2016-06-17 | |
* | port edwards curve spec | 2016-06-16 | |
* | consolidate and rename Edwards curve lemmas | 2016-04-25 | |
* | point_eq_dec | 2016-04-22 | |
* | nicer verify() derivation starter | 2016-03-21 | |
* | Finish absolutizing imports | 2016-03-10 | |
* | document field issue re-appearing | 2016-02-12 | |
* | port some edwards curve theorems | 2016-02-12 |