| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Make EFD a submodule. Remove imported formulas. | J08nY | 2020-12-10 | 45 | -832/+0 |
| * | Add unified parameter to formulas that are strongly unified. | J08nY | 2020-02-21 | 12 | -0/+12 |
| * | 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 | 43 | -0/+814 |
