| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Nsatz.v | 14395 | logplain |
| -rw-r--r-- | ideal.ml | 25721 | logplain |
| -rw-r--r-- | nsatz.ml4 | 16486 | logplain |
| -rw-r--r-- | nsatz_plugin.mllib | 43 | logplain |
| -rw-r--r-- | polynom.ml | 16857 | logplain |
| -rw-r--r-- | polynom.mli | 3046 | logplain |
| -rw-r--r-- | utile.ml | 3568 | logplain |
| -rw-r--r-- | utile.mli | 483 | logplain |
| -rw-r--r-- | vo.itarget | 9 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |