https://github.com/flyspeck/flyspeck
Revision 913c9fdc02f2b023e428823abffce2e1aa8b79a3 authored by Alexey Solovyev on 29 January 2019, 03:42:32 UTC, committed by Alexey Solovyev on 29 January 2019, 03:42:32 UTC
1 parent fb4ba42
Tip revision: 913c9fdc02f2b023e428823abffce2e1aa8b79a3 authored by Alexey Solovyev on 29 January 2019, 03:42:32 UTC
.gitattributes
.gitattributes
Tip revision: 913c9fd
File | Mode | Size |
---|---|---|
azure | ||
downloads | ||
formal_graph | ||
formal_ineqs | ||
formal_lp | ||
informal_code | ||
jHOLLight | ||
text_formalization | ||
.gitattributes | -rw-r--r-- | 57 bytes |
.gitignore | -rw-r--r-- | 30 bytes |
LICENSE | -rw-r--r-- | 1.0 KB |
README.md | -rw-r--r-- | 3.8 KB |
Computing file changes ...