| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add unified parameter to formulas that are strongly unified. | J08nY | 2020-02-21 | 3 | -0/+3 |
| * | Add negation formulas to EFD. | J08nY | 2019-03-21 | 2 | -0/+6 |
| * | Start EC package, add data from Explicit-Formulas Database. | J08nY | 2019-03-21 | 13 | -0/+179 |
