Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] nearly all binary searches are broken..

view this post on Zulip Email Gateway (Aug 17 2022 at 14:49):

From: Gerwin Klein <gerwin.klein@nicta.com.au>
Interesting for those of us who do program verification:

http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html

Cheers,
Gerwin

Last updated: Apr 30 2025 at 08:27 UTC