| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | evd.ml | 1823 | logplain |
| -rw-r--r-- | evd.mli | 1394 | logplain |
| -rw-r--r-- | logic.ml | 20073 | logplain |
| -rw-r--r-- | logic.mli | 366 | logplain |
| -rw-r--r-- | pfedit.mli | 132 | logplain |
| -rw-r--r-- | proof_trees.ml | 6012 | logplain |
| -rw-r--r-- | proof_trees.mli | 2200 | logplain |
| -rw-r--r-- | tmp-src | 4986 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |