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