https://github.com/flyspeck/flyspeck
Revision c1060e803db38c11a7a9c211c5a921c7121d6153 authored by Alexey Solovyev on 01 September 2017, 10:02:03 UTC, committed by Alexey Solovyev on 01 September 2017, 10:02:03 UTC
1 parent 43e4ff7
Tip revision: c1060e803db38c11a7a9c211c5a921c7121d6153 authored by Alexey Solovyev on 01 September 2017, 10:02:03 UTC
or -> ||, & -> &&
or -> ||, & -> &&
Tip revision: c1060e8
| File | Mode | Size |
|---|---|---|
| azure | ||
| downloads | ||
| formal_graph | ||
| formal_ineqs | ||
| formal_lp | ||
| informal_code | ||
| jHOLLight | ||
| text_formalization | ||
| .gitignore | -rw-r--r-- | 30 bytes |
| README.md | -rw-r--r-- | 3.8 KB |
Computing file changes ...
