| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-09-16 | Re-implementation of zify | Frédéric Besson |
| 2019-01-24 | Add some quot/rem test-cases for nia | Jason Gross |
| 2019-01-24 | Rename Z.div_mod_to_quot_rem, add Z.quot_rem_to_equations, Z.to_euclidean_div... | Jason Gross |
| 2019-01-24 | Revert "Add subst to the end of nia in the test-suite" | Jason Gross |
| 2019-01-24 | Add subst to the end of nia in the test-suite | Jason Gross |
| 2019-01-24 | Move cleanup from the test-suite to Z.div_mod_to_quot_rem_cleanup | Jason Gross |
| 2019-01-24 | Remove remainder of `Abort`s in test-suite Nia.v | Jason Gross |
| 2019-01-24 | Don't bundle Z.div_mod_quot_rem into zify | Jason Gross |
| 2019-01-24 | Add Z.div_mod_to_quot_rem tactic, put it in zify | Jason Gross |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |