| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .depend | 3051 | logplain |
| -rw-r--r-- | analyze.ml | 10673 | logplain |
| -rw-r--r-- | analyze.mli | 1232 | logplain |
| -rw-r--r-- | check.ml | 15463 | logplain |
| -rw-r--r-- | check.mli | 1138 | logplain |
| -rw-r--r-- | check.mllib | 103 | logplain |
| -rw-r--r-- | checkInductive.ml | 11949 | logplain |
| -rw-r--r-- | checkInductive.mli | 866 | logplain |
| -rw-r--r-- | checkTypes.ml | 1502 | logplain |
| -rw-r--r-- | checkTypes.mli | 859 | logplain |
| -rw-r--r-- | check_stat.ml | 1816 | logplain |
| -rw-r--r-- | check_stat.mli | 765 | logplain |
| -rw-r--r-- | checker.ml | 14411 | logplain |
| -rw-r--r-- | checker.mli | 701 | logplain |
| -rw-r--r-- | coqchk.ml | 26 | logplain |
| -rw-r--r-- | coqchk.mli | 808 | logplain |
| -rw-r--r-- | dune | 635 | logplain |
| -rw-r--r-- | include | 4917 | logplain |
| -rw-r--r-- | mod_checking.ml | 5342 | logplain |
| -rw-r--r-- | mod_checking.mli | 762 | logplain |
| -rw-r--r-- | safe_checking.ml | 1188 | logplain |
| -rw-r--r-- | safe_checking.mli | 919 | logplain |
| -rw-r--r-- | validate.ml | 5252 | logplain |
| -rw-r--r-- | validate.mli | 726 | logplain |
| -rw-r--r-- | values.ml | 10516 | logplain |
| -rw-r--r-- | values.mli | 1586 | logplain |
| -rw-r--r-- | votour.ml | 11698 | logplain |
| -rw-r--r-- | votour.mli | 808 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |