https://github.com/flyspeck/flyspeck
Tip revision: 05bd66666b4b641f49e5131a37830f4881f39db9 authored by zipperer on 26 November 2020, 19:53:58 UTC
minuscule edits (#5)
minuscule edits (#5)
Tip revision: 05bd666
| File | Mode | Size |
|---|---|---|
| arith | ||
| docs | ||
| informal | ||
| lib | ||
| list | ||
| misc | ||
| taylor | ||
| tests | ||
| trig | ||
| verifier | ||
| .gitignore | -rw-r--r-- | 56 bytes |
| LICENSE | -rw-r--r-- | 1.0 KB |
| README.md | -rw-r--r-- | 361 bytes |
| arith_options.hl | -rw-r--r-- | 1.1 KB |
| examples.hl | -rw-r--r-- | 2.8 KB |
| examples_flyspeck.hl | -rw-r--r-- | 10.6 KB |
| examples_other.hl | -rw-r--r-- | 1.1 KB |
| examples_poly.hl | -rw-r--r-- | 4.5 KB |
| verifier_options.hl | -rw-r--r-- | 615 bytes |
