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