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 |
---|---|---|
DenseSpherePackings.pdf | -rwxr-xr-x | 4.7 MB |
FormalVerifier.pdf | -rw-r--r-- | 217.9 KB |
FormalVerifier.zip | -rw-r--r-- | 474.4 KB |
HOL-SSReflect v1.1.pdf | -rw-r--r-- | 413.3 KB |
HOL-SSReflect_v1.1.zip | -rw-r--r-- | 679.4 KB |
README.md | -rw-r--r-- | 833 bytes |
Computing file changes ...