| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-03-03 | Adding an alias "pose proof (x:=a)" for "pose proof a as x". | Hugo Herbelin | |
| This is to be consistent with "pose (x:=a)" (and an alternative to "assert (x:=a)"). This was suggested by "https://github.com/HoTT/HoTT/pull/1208#discussion_r374342962". | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |