Commit message (Expand) | Author | Age | |
---|---|---|---|
* | prove SRepMul admit | Andres Erbsen | 2016-10-25 |
* | Fix for Coq 8.4 | Jason Gross | 2016-10-13 |
* | refactor scalar multiplication thoery, implement SRepERepMul | Andres Erbsen | 2016-10-12 |
* | integrate bitwise operations | Andres Erbsen | 2016-10-12 |
* | generalize equiv relations in Util.Option and EdDSARepChange | Andres Erbsen | 2016-10-12 |
* | move eddsa rep change | Andres Erbsen | 2016-09-22 |