| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-05-22 | Partly revert micromega parsing using typeclasses. | Frédéric Besson | |
| Typeclasses resolution is not used anymore for lia. Typeclasses resolution is still used by lra but only to access a database of declared constants. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |