| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-07-27 | Add an Iterative Deepening search strategy to typeclass resolution. | Matthieu Sozeau |
| 2010-10-05 | test-suite: fix success/Typeclasses.v | glondu |
| 2009-11-27 | Substitute terms for evars-as-goals as soon as they are solved in | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |