| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-07-18 | Polymorphism attribute on section sets the option locally. | Pierre-Marie Pédrot | |
| This is deemed to be more natural as most of the uses will follow this structure. | |||
| 2019-07-18 | Attach the universe polymorphic status to sections. | Pierre-Marie Pédrot | |
| The previous implementation allowed to dynamically decide whether a section would be monomorphic or polymorphic at the first definition of a variable or a constraint. Instead of relying on this delayed decision, we set the universe polymorphic property directly at the time of the section definition. | |||
| 2018-10-04 | rename test files (do not start by a digit) | Vincent Laporte | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |