| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-04-19 | Check for existence before using `Global.lookup_constant` instead of ↵ | Lasse Blaauwbroek | |
| catching `Not_found` `Global.lookup_constant` fails with an assertion instead of `Not_found`. Some code relied upon `Not_found`. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |