package info
(click to toggle)
Folder: Formal_ineqs
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | arith | |
d | rwxr-xr-x | 68 | docs | |
d | rwxr-xr-x | 4,096 | informal | |
d | rwxr-xr-x | 109 | lib | |
d | rwxr-xr-x | 71 | list | |
d | rwxr-xr-x | 65 | misc | |
d | rwxr-xr-x | 106 | taylor | |
d | rwxr-xr-x | 133 | tests | |
d | rwxr-xr-x | 4,096 | trig | |
d | rwxr-xr-x | 98 | verifier | |
- | rw-r--r-- | 614 | README.md | |
- | rw-r--r-- | 1,098 | arith_options.hl | |
- | rw-r--r-- | 2,893 | examples.hl | |
- | rw-r--r-- | 10,870 | examples_flyspeck.hl | |
- | rw-r--r-- | 1,160 | examples_other.hl | |
- | rw-r--r-- | 4,564 | examples_poly.hl | |
- | rw-r--r-- | 2,127 | make.ml | |
- | rw-r--r-- | 615 | verifier_options.hl |