| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-06-16 | Purely refactoring and code/API cleanup. | Matthieu Sozeau |
| 2016-06-16 | bteauto: a Proofview.tactic for multiple goals | Matthieu Sozeau |
| 2016-06-16 | Implement limited proof search and iterative deepening. | Matthieu Sozeau |
| 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 |