| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-05-14 | Move the static check of evaluability in unfold tactic to runtime. | Pierre-Marie Pédrot |
| 2020-05-09 | Revert "[with_strategy] Fix for coqchk" | Jason Gross |
| 2020-05-09 | Fix a bug with with_strategy, behavior on multisuccess tactics | Jason Gross |
| 2020-05-09 | Elaborate with_strategy warning | Jason Gross |
| 2020-05-09 | Fix the `with_strategy` tactic to work with `abstract` | Jason Gross |
| 2020-05-09 | Add a `with_strategy` tactic | Jason Gross |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |