| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Nsatz.v | 14975 | logplain |
| -rw-r--r-- | g_nsatz.mlg | 866 | logplain |
| -rw-r--r-- | ideal.ml | 19250 | logplain |
| -rw-r--r-- | ideal.mli | 1461 | logplain |
| -rw-r--r-- | nsatz.ml | 16626 | logplain |
| -rw-r--r-- | nsatz.mli | 730 | logplain |
| -rw-r--r-- | nsatz_plugin.mlpack | 34 | logplain |
| -rw-r--r-- | plugin_base.dune | 138 | logplain |
| -rw-r--r-- | polynom.ml | 17274 | logplain |
| -rw-r--r-- | polynom.mli | 3196 | logplain |
| -rw-r--r-- | utile.ml | 286 | logplain |
| -rw-r--r-- | utile.mli | 125 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |