| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-02-20 | Fixing #11114 (anomaly with Extraction Implicit on records). | Hugo Herbelin | |
| This was due to an inconsistency in handling implicit arguments in the fields and in the constructor of a record. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |