| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | dune | 195 | logplain |
| -rw-r--r-- | g_tuto0.mlg | 344 | logplain |
| -rw-r--r-- | tuto0_main.ml | 29 | logplain |
| -rw-r--r-- | tuto0_main.mli | 21 | logplain |
| -rw-r--r-- | tuto0_plugin.mlpack | 19 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |