| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-08 | Don't suggest Proof using when no section variables | Gaëtan Gilbert |
| 2017-10-10 | Use a nice printer for constant names in Suggest Proof Using. | Gaëtan Gilbert |
| 2017-10-10 | Take Suggest Proof Using outside the kernel. | Gaëtan Gilbert |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |