https://github.com/dlicata335/hott-agda
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
updated thesis source file
updated thesis source file
Tip revision: dccc650
File | Mode | Size |
---|---|---|
thesis-modal-master | ||
ClosedTruth.agda | -rw-r--r-- | 1.7 KB |
Formulas.agda | -rw-r--r-- | 1.0 KB |
NewOuterLemmas.agda | -rw-r--r-- | 5.5 KB |
Signatures.agda | -rw-r--r-- | 15.8 KB |
Signatures.agda~ | -rw-r--r-- | 9.5 KB |
opentruth.agda | -rw-r--r-- | 17.4 KB |
outerlemmas.agda | -rw-r--r-- | 8.5 KB |
plan.txt | -rw-r--r-- | 2.4 KB |
treedecomp.agda | -rw-r--r-- | 2.5 KB |