Micromega: tactics for solving arithmetic goals over ordered rings¶
Source: | https://coq.inria.fr/distrib/current/refman/micromega.html |
---|---|
Converted by: | Maxime Dénès |
Source: | https://coq.inria.fr/distrib/current/refman/micromega.html |
---|---|
Converted by: | Maxime Dénès |