| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-20 | [CI] Deactivate native-compiler in some jobs | Pierre Roux | |
| A few libraries in the CI don't compile with it (out of memory). | |||
| 2019-11-27 | [ci] Split out the dependencies of fiat-crypto | Jason Gross | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |