| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-11-26 | Remove `rapply` tactic notation in favor of just the tactic | Jason Gross |
| 2019-11-26 | Make rapply handle all numbers of underscores | Jason Gross |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |