| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| | * | Add useful tactics and util lemmas |  Jason Gross | 2016-07-08 | |
| * | | stuck trying to figure out dependently typed continuation passing style |  Andres Erbsen | 2016-07-06 | |
| |/ | ||||
| * | Add [specialize_by] tactic | Jason Gross | 2016-07-01 | |
| * | Fix field_algebra in 8.4 | Jason Gross | 2016-06-28 | |
| * | Fix super_nsatz tactic to be better about ordering | Jason Gross | 2016-06-28 | |
| * | Add [destruct_head] tactics | Jason Gross | 2016-06-27 | |
| * | Add [break_match] for hypotheses | Jason Gross | 2016-06-27 | |
| * | Various nsatz and field tactic improvements | Jason Gross | 2016-06-24 | |
| * | Improve some tactics and lemmas | Jason Gross | 2016-06-23 | |
| * | [break_match] should not be local | Jason Gross | 2016-06-23 | |
| * | Add tactics to Tactics, at most 2 sq-roots to Algebra | Jason Gross | 2016-06-23 | |
| * | Add a tactic for field inequalities |  Jason Gross | 2016-04-19 | |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |