https://github.com/flyspeck/flyspeck
Revision 5aa135ce1140ce958f72114a3b47b0f1e0adbbd5 authored by Alexey Solovyev on 03 June 2017, 06:09:55 UTC, committed by Alexey Solovyev on 03 June 2017, 06:09:55 UTC
1 parent b37c3d0
Tip revision: 5aa135ce1140ce958f72114a3b47b0f1e0adbbd5 authored by Alexey Solovyev on 03 June 2017, 06:09:55 UTC
Added .gitignore
Added .gitignore
Tip revision: 5aa135c
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 ...