Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add a tactic for field inequalities | 2016-04-19 | |
* | Retrieved updated version of Util/IterAssocOp and modified ExtendedCoordinate... | 2016-04-14 | |
* | extended coordinates setoid boilerplate | 2016-03-20 | |
* | ModularArithmetic: [field] tactic that respects opacity, prettify ExtendedCoo... | 2016-02-28 | |
* | CompleteEdwardsCurve: unifiedAddM1: Closed Under Global Context | 2016-02-15 | |
* | document field issue re-appearing | 2016-02-12 |