| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Make EFD a submodule. Remove imported formulas. | J08nY | 2020-12-10 | 15 | -183/+0 |
| * | 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/+8 |
| * | Start EC package, add data from Explicit-Formulas Database. | J08nY | 2019-03-21 | 13 | -0/+172 |
