| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-10-31 | [ssr] Refactor/Simplify the implementation of under | Erik Martin-Dorel |
| 2019-04-23 | [ssr] Define over as a rewrite rule & Merge 'Under[ _ ] notations | Erik Martin-Dorel |
| 2019-04-23 | [ssr] Remove the unify_helper tactic that appears unnecessary | Erik Martin-Dorel |
| 2019-04-23 | [ssr] under: Strenghten over & Add test_big_andb | Erik Martin-Dorel |
| 2019-04-23 | [ssr] under: Extend the test-suite to exemplify most use cases | Erik Martin-Dorel |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |