23 Commits

Author	SHA1	Message	Date
Patrick Lühne	68dba77156	Clean up example	2020-05-29 19:00:44 +02:00
Patrick Lühne	5d931ab7e6	Split lemmas from specifications	2020-05-29 19:00:36 +02:00
Patrick Lühne	b94ee5134a	Improve examples after meeting	2020-05-29 12:09:28 +02:00
Patrick Lühne	7895bf83c4	Clean-up in example 2	2020-05-28 18:40:33 +02:00
Patrick Lühne	c05eb11855	Improve example 2	2020-05-28 18:40:10 +02:00
Patrick Lühne	bd9e0bd709	Simplify examples	2020-05-28 07:06:19 +02:00
Patrick Lühne	739cae1f7c	Rename “assert” statement to “spec”	2020-05-22 18:34:59 +02:00
Patrick Lühne	d88ac89b01	Add prime number example	2020-05-19 12:57:09 +02:00
Patrick Lühne	e2281042c9	Rename example files for consistency	2020-05-18 01:46:16 +02:00
Patrick Lühne	7361084eaf	Rename variable in example for consistency	2020-05-18 01:09:15 +02:00
Patrick Lühne	82422cc28f	Support hiding auxiliary predicates	2020-05-13 08:02:04 +02:00
Patrick Lühne	37f0fff09f	Add comments to exact cover example	2020-05-12 06:39:50 +02:00
Patrick Lühne	f39393ebce	Add comments to example 2	2020-05-12 06:10:59 +02:00
Patrick Lühne	e42fd92d4b	Add parser support for output statements	2020-05-12 05:27:51 +02:00
Patrick Lühne	222f8b535e	Add specification for example 1	2020-05-12 04:51:52 +02:00
Patrick Lühne	9ffd987e10	Add specification for example 0	2020-05-12 04:51:52 +02:00
Patrick Lühne	eab3520e44	Minor formatting	2020-05-11 04:15:05 +02:00
Patrick Lühne	fed095ba5c	Remove obsolete example	2020-05-11 04:09:52 +02:00
Patrick Lühne	78935f7c4a	Remove unnecessary lemma	2020-05-11 04:08:38 +02:00
Patrick Lühne	d44c3995b7	Fix induction axiom in example 2	2020-05-11 02:21:24 +02:00
Patrick Lühne	753cc3e5a8	Improve output	2020-05-07 17:19:42 +02:00
Patrick Lühne	a9ca72891c	Add exact cover problem example	2020-05-07 02:54:13 +02:00
Patrick Lühne	b4339bfcb3	Add examples	2020-05-06 21:39:04 +02:00