| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-29 | [test-suite] async-proofs off in tests with Fail Timeout | Enrico Tassi |
| 2019-01-24 | Make `Instance` without a body always open a proof. | Maxime Dénès |
| 2017-11-28 | Fix (partial) #4878: option to stop autodeclaring axiom as instance. | Gaëtan Gilbert |
| 2016-11-16 | Revert more of a477dc for good measure | Matthieu Sozeau |
| 2016-11-15 | Revert part of a477dc, disallow_shelved | Matthieu Sozeau |
| 2016-11-03 | Fix test-suite files relying on tcs bugs | Matthieu Sozeau |
| 2016-11-03 | typeclasses eauto Implem/doc of shelving strategy | Matthieu Sozeau |
| 2016-09-28 | Typeclass backtracking example by J. Leivant | Matthieu Sozeau |
| 2016-06-16 | Tentative fix of test-suite file to avoid loop | Matthieu Sozeau |
| 2016-06-16 | Cleanup and refactoring | Matthieu Sozeau |
| 2016-06-16 | Revise syntax of Hint Cut | Matthieu Sozeau |
| 2016-06-16 | Example given at DeepSpec workshop | Matthieu Sozeau |
| 2016-06-16 | Purely refactoring and code/API cleanup. | Matthieu Sozeau |
| 2016-06-16 | bteauto: a Proofview.tactic for multiple goals | Matthieu Sozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |