https://github.com/flyspeck/flyspeck
Revision 5910095aee9a049553b8f58989455b59a10f77ed authored by Alexey Solovyev on 24 August 2017, 08:08:28 UTC, committed by Alexey Solovyev on 24 August 2017, 08:08:28 UTC
1 parent 015a5d9
Tip revision: 5910095aee9a049553b8f58989455b59a10f77ed authored by Alexey Solovyev on 24 August 2017, 08:08:28 UTC
Using the new definition of sqrt (done up to hypermap.hl)
Using the new definition of sqrt (done up to hypermap.hl)
Tip revision: 5910095
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 ...