| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-26 | [attributes] [typing] Rename `typing` to `bypass_check` | Emilio Jesus Gallego Arias |
| 2020-11-26 | [attributes] [doc] Documentation review by Théo. | Emilio Jesus Gallego Arias |
| 2020-11-26 | [proofs] Support per-definition typing-flags in interactive proofs. | Emilio Jesus Gallego Arias |
| 2020-11-26 | [vernac] Allow to control typing flags with attributes. | Emilio Jesus Gallego Arias |
| 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 |