7 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
hellerve	371686c260	ab: add fairspec theorem	2019-01-15 10:23:14 +01:00
hellerve	ea55b8b33a	ab: add initial specs	2019-01-14 18:43:28 +01:00
hellerve	31fbbc4d95	remove: add simple remove model	2019-01-14 16:17:07 +01:00
hellerve	7e0edb007c	add paxos commit	2018-12-28 12:38:12 +01:00
hellerve	a591cb9219	no toolboxes, apparently	2018-12-27 16:09:41 +01:00
hellerve	b2ae18b454	remove pdf	2018-12-27 16:08:11 +01:00
hellerve	70c944a2b7	i... dont know what to commit	2018-12-27 16:07:37 +01:00