Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 |