| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | InitSyntax.out | 109 | logplain |
| -rw-r--r-- | InitSyntax.v | 37 | logplain |
| -rw-r--r-- | RealSyntax.out | 33 | logplain |
| -rw-r--r-- | RealSyntax.v | 44 | logplain |
| -rw-r--r-- | ZSyntax.out | 14 | logplain |
| -rw-r--r-- | ZSyntax.v | 28 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |