?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(initial) | patch
isabelle mkroot -d
commit6d7374e80d0cfc7934b63a19578b2fd33fa9f7a0
authorTim Makarios <tjm1983@gmail.com>
Fri, 5 Dec 2014 00:50:51 +0000 (5 13:50 +1300)
committerTim Makarios <tjm1983@gmail.com>
Fri, 5 Dec 2014 00:50:51 +0000 (5 13:50 +1300)
treec11ad10e7813a2d2da3217ffbce60e42ab5a9829tree | snapshot (tar.gz zip)
isabelle mkroot -d
.gitignore [new file with mode: 0644] blob
ROOT [new file with mode: 0644] blob
document/root.tex [new file with mode: 0644] blob
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.