-
MARCHE Claude authoredalso compatible with Coq 8.4
86a95cbe
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| coq-tactic | ||
| encoding | ||
| invalid | ||
| plugins | ||
| programs | ||
| typing | ||
| valid | ||
| bench | ||
| true_goal.why |
also compatible with Coq 8.4
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| coq-tactic | ||
| encoding | ||
| invalid | ||
| plugins | ||
| programs | ||
| typing | ||
| valid | ||
| bench | ||
| true_goal.why |