| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00669-maximedenes-ssr-merge.sh | 189 | logplain |
| -rw-r--r-- | 06454-ejgallego-evar+strict_to_constr.sh | 301 | logplain |
| -rw-r--r-- | 06859-ejgallego-stm+top.sh | 215 | logplain |
| -rw-r--r-- | 06960-ejgallego-ltac+tacdepr.sh | 392 | logplain |
| -rw-r--r-- | 07136-evar-map-econstr.sh | 282 | logplain |
| -rw-r--r-- | 07152-ejgallego-api+vernac_expr_iso.sh | 406 | logplain |
| -rw-r--r-- | 07213-ppedrot-fast-constr-match-no-context.sh | 201 | logplain |
| -rw-r--r-- | README.md | 804 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |