Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Refactor ModularArithmetic into Zmod, expand Decidable | Andres Erbsen | 2016-08-04 |
* | Add a comment | Jason Gross | 2016-08-01 |
* | Better transparency of dec_eq_sig_hprop | Jason Gross | 2016-08-01 |
* | Add instances to decide equality of sigma types | Jason Gross | 2016-07-29 |
* | Add decidable instances for sumwise and fieldwise | Jason Gross | 2016-06-27 |
* | Use Decidable machinery for is_eq_dec | Jason Gross | 2016-06-24 |
* | Fix for broken abstract | Jason Gross | 2016-06-22 |
* | Add decidability util file | Jason Gross | 2016-06-22 |