| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-02-11 | Fix #9508: Unexpected interaction between implicit arguments and primitive ↵ | Pierre-Marie Pédrot | |
| projections. This was due to an involuntary capture of a variable name. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |