Re: [isabelle] Boolos's Curious Inference (Speed-Up) in Isabelle/HOL



On Wed Feb 10, 2021 at 3:20 AM CET, Jeffrey Ketland wrote:
> Since the Isabelle/HOL proof sketch is pretty short, I thought I’d post it here.

You might want to consider publishing it in the AFP:
https://www.isa-afp.org/

The submission process is quite straightforward, and that way others
will be able to find your formalization much easier.

Regards,
Jakub Kądziołka




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.