Public Git Hosting - rttp-proofs.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: b0a71c2) | patch

commit	57a868f1f8cd1e38578c053999b9bbeee59348db
author	Tim Makarios <tjm1983@gmail.com>
	Fri, 23 Jan 2015 03:38:06 +0000 (23 16:38 +1300)
committer	Tim Makarios <tjm1983@gmail.com>
	Fri, 23 Jan 2015 03:38:06 +0000 (23 16:38 +1300)
tree	1358c55437df50a4d9c9261314222fcfe3e4af41	tree \| snapshot (tar.gz zip)
parent	b0a71c26ba03d5203e64d1db54687874a7515608	commit \| diff

Definition of continuously_satisfiable

diff | blob | blame | history

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