https://github.com/flyspeck/flyspeck
Tip revision: e56f445d47f13be9395fc9ceec55331ac4bef169 authored by Alexey Solovyev on 18 September 2019, 06:01:51 UTC
Merge branch 'develop' into native
Merge branch 'develop' into native
Tip revision: e56f445
| File | Mode | Size |
|---|---|---|
| azure | ||
| downloads | ||
| formal_graph | ||
| formal_ineqs | ||
| formal_lp | ||
| informal_code | ||
| jHOLLight | ||
| text_formalization | ||
| .gitattributes | -rw-r--r-- | 57 bytes |
| .gitignore | -rw-r--r-- | 40 bytes |
| INSTALL.md | -rw-r--r-- | 5.1 KB |
| LICENSE | -rw-r--r-- | 1.0 KB |
| Makefile | -rw-r--r-- | 11.2 KB |
| README.md | -rw-r--r-- | 3.8 KB |
| auto_update.py | -rw-r--r-- | 2.3 KB |
| load_flyspeck.ml | -rw-r--r-- | 1.3 KB |
