?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)
Proved constructed_from_not_received_implies_constructedmaster
[rttp-proofs.git] / document / 
treea1e3f05ba84128ae41ed11764187025294154eaa
drwxr-xr-x   ..
-rw-r--r-- 1285 root.tex blob | blame | history | raw
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.