| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-06-15 | Remove bedrock from test suite. | Maxime Dénès | |
| Bedrock relies on the 8.4 compat flag that we are removing, and we heard from MIT that they did not plan to port bedrock to more recent versions of Coq. | |||
| 2017-04-20 | Add bedrock targets src and facade | Jason Gross | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |