| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-01-19 | [ssr] compile "=> {x..} y" as "=> {x..y} y" | Enrico Tassi | |
| This is for consistency with "rewrite {x..} y" | |||
| 2019-01-18 | [ssr] compile "=> {} y" as "=> {y} y" | Enrico Tassi | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |