| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-13 | Make the universe of primitive arrays irrelevant | Gaëtan Gilbert | |
| Fix #13354 This change is very specific to array, but should not be a significant obstacle to generalization of the feature to eg axioms if we want to later. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |