https://github.com/mikabr/aoa-prediction
Tip revision: 67764a7a4dfdd743278b8a56d042d25723dbdec7 authored by Mika Braginsky on 02 May 2019, 21:51:45 UTC
edits and relabeling for consistency with proof
edits and relabeling for consistency with proof
Tip revision: 67764a7
File | Mode | Size |
---|---|---|
aoa_unified | ||
reports | ||
uni_lemma_checking | ||
.gitignore | -rw-r--r-- | 142 bytes |
README.md | -rw-r--r-- | 757 bytes |
aoa-prediction.Rproj | -rw-r--r-- | 258 bytes |