aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/micromega/Lqa.v
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* micromega : more robust generation of proof termsGravatar Frédéric Besson2016-09-07
* Fix Bug #5005 : micromega tactics is now robust to failure of 'abstract'.Gravatar Frédéric Besson2016-08-31
* plugin micromega : nra also handles non-linear rational arithmetic over Q (Fi...Gravatar Frédéric Besson2016-08-30