https://github.com/flyspeck/flyspeck
Revision 2ff2cc4462d75fc98d67b300a3f791c0cdb71685 authored by Alexey Solovyev on 25 August 2017, 07:34:33 UTC, committed by Alexey Solovyev on 25 August 2017, 07:34:33 UTC
1 parent c1b2594
Tip revision: 2ff2cc4462d75fc98d67b300a3f791c0cdb71685 authored by Alexey Solovyev on 25 August 2017, 07:34:33 UTC
Done up to local/lp_details.hl (no lp)
Done up to local/lp_details.hl (no lp)
Tip revision: 2ff2cc4
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 ...