https://github.com/dlicata335/hott-agda
History
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
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

back to top