Public Git Hosting - rttp-proofs.git/tree

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
snapshot (tar.gz zip)

tree	94f9d6d6a12fb8bcc60bfe1b7d5041d51849bce2

-rw-r--r--	16	.gitignore	blob \| blame \| history \| raw
-rw-r--r--	15374	Communication.thy	blob \| blame \| history \| raw
-rw-r--r--	9445	Protocols.thy	blob \| blame \| history \| raw
-rw-r--r--	204	ROOT	blob \| blame \| history \| raw
-rw-r--r--	114	RTTP.thy	blob \| blame \| history \| raw
drwxr-xr-x	-	document	tree \| history

This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.