?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 82767f5) | patch
Proof that indistinguishability_maps preserve learnability
commit45b54ede87538853216e5ac45d83dec681f21ffb
authorTim Makarios <tjm1983@gmail.com>
Fri, 20 Feb 2015 03:44:51 +0000 (20 16:44 +1300)
committerTim Makarios <tjm1983@gmail.com>
Fri, 20 Feb 2015 03:44:51 +0000 (20 16:44 +1300)
tree8aef6a945dcdec699ddbac9e3ad5a0a8ce35d89etree | snapshot (tar.gz zip)
parent82767f55c43ebd644e9925cfc8d3f7591dfbf7c1commit | diff
Proof that indistinguishability_maps preserve learnability
Communication.thy diff | blob | blame | history
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.