Commit message (Expand) | Author | Age | |
---|---|---|---|
* | rename-everything | 2017-04-06 | |
* | do not use VerdiTactics in files we plan to keep | 2017-04-06 | |
* | Add [Proof using] to most proofs | 2017-04-04 | |
* | More fine-grained tactic imports | 2017-04-03 | |
* | split the algebra library; use fsatz more | 2017-03-02 | |
* | Fix f_equiv brokenness in 8.4, even faster src/MxDHRepChange.v | 2016-11-08 | |
* | Faster build of src/MxDHRepChange.v | 2016-11-08 | |
* | automate MxDHRepChange.Proper_loopiter intros | 2016-11-07 | |
* | move B_order_l and prime_q | 2016-11-06 |