Name | Last commit | Last update |
---|---|---|
.. | ||
Algorithm.v | ||
Algorithm_Assumptions.v | ||
Impossibility.v | ||
Impossibility_Assumptions.v |
coq 8.20 has a small regression with lia. + some small stdlib changes.
Name | Last commit | Last update |
---|---|---|
.. | ||
Algorithm.v | ||
Algorithm_Assumptions.v | ||
Impossibility.v | ||
Impossibility_Assumptions.v |