| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | logic.ml | 20073 | logplain |
| -rw-r--r-- | logic.mli | 375 | logplain |
| -rw-r--r-- | pfedit.mli | 132 | logplain |
| -rw-r--r-- | proof_trees.ml | 5863 | logplain |
| -rw-r--r-- | proof_trees.mli | 4053 | logplain |
| -rw-r--r-- | tmp-src | 4986 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |