| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 9 | logplain |
| -rw-r--r-- | counter.ml | 437 | logplain |
| -rw-r--r-- | counter.mli | 208 | logplain |
| -rw-r--r-- | custom.ml | 100 | logplain |
| -rw-r--r-- | custom.mli | 100 | logplain |
| -rw-r--r-- | dune | 138 | logplain |
| -rw-r--r-- | g_tuto2.mlg | 20071 | logplain |
| -rw-r--r-- | persistent_counter.ml | 1641 | logplain |
| -rw-r--r-- | persistent_counter.mli | 254 | logplain |
| -rw-r--r-- | tuto2_plugin.mlpack | 42 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |