| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-11-16 | Print Universes Subgraph | Gaëtan Gilbert | |
| This adds an optional [Subgraph] part to the Print Universes command, eg [Print Universes Subgraph(i j)] to print only constraints related to i and j (and Prop/Set). | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |