| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | logic.ml | 17951 | logplain |
| -rw-r--r-- | logic.mli | 358 | logplain |
| -rw-r--r-- | pfedit.mli | 791 | logplain |
| -rw-r--r-- | proof_trees.ml | 5778 | logplain |
| -rw-r--r-- | proof_trees.mli | 4022 | logplain |
| -rw-r--r-- | refiner.ml | 7592 | logplain |
| -rw-r--r-- | refiner.mli | 1041 | logplain |
| -rw-r--r-- | tmp-src | 1852 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |