Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Explicitly specify base | 2017-10-18 | |
* | Add a few more base things | 2017-10-18 | |
* | Move coef, coef_mod to gallina | 2017-10-18 | |
* | Add some more helper lemmas to synthesis | 2017-10-18 | |
* | Lemmas about wt_gen | 2017-10-18 | |
* | Reorganize the curve-specific synthesis framework | 2017-10-18 |