| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-08-16 | Fix Print Assumptions: Inductive types can have unsafe fixpoints or | SimonBoulier |
| 2019-08-16 | Universe Checking instead of Universes Checking | SimonBoulier |
| 2019-08-16 | Add a file for typing_flags in the test-suite. | SimonBoulier |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |