5 Commits

Author	SHA1	Message	Date
Jeehoon Kang	3a463b55b1	Strengthen the post-condition	2022-09-28 23:15:39 +09:00
Jeehoon Kang	85fd0b333b	Remove import	2022-09-28 21:18:34 +09:00
Jeehoon Kang	5e2a772443	Fix binary search type	2022-09-28 21:17:01 +09:00
Jeehoon Kang	5759815506	Add a warning on binary search	2022-09-12 13:35:14 +09:00
Jeehoon Kang	db7517ffb6	Add why3 files	2022-09-03 23:16:27 +09:00