Revision 05bd66666b4b641f49e5131a37830f4881f39db9 authored by zipperer on 26 November 2020, 19:53:58 UTC, committed by GitHub on 26 November 2020, 19:53:58 UTC
* edit README - replace 'stament' with 'statement' * Edit build.hl -- add period at end of sentence
1 parent 24d2c55
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-- | 40 bytes |
INSTALL.md | -rw-r--r-- | 5.4 KB |
LICENSE | -rw-r--r-- | 1.0 KB |
README.md | -rw-r--r-- | 3.8 KB |
load_flyspeck.ml | -rw-r--r-- | 1.3 KB |
Computing file changes ...