diff options
| author |  Frédéric Besson <frederic.besson@inria.fr> | 2015-04-27 17:35:59 +0200 |
|---|---|---|
| committer | Frédéric Besson <frederic.besson@inria.fr> | 2015-04-28 18:52:12 +0200 |
| commit | 72644c7f7b3f0fcc56779acfcfa4bfc9f041ebde (patch) | |
| tree | e7ca6d2bb16047debdbc0232519c99a11d9a8d0d /theories/Lists | |
| parent | 148cf78a4d85ec56818a8ff00719a775670950b9 (diff) | |
maintenance micromega plugin
- add a nra tactic (similar to nia) for non-linear real arithmetic tactic
- fix a long-standing bug in the reification code
- port to the new proof-engine
Diffstat (limited to 'theories/Lists')
0 files changed, 0 insertions, 0 deletions