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:

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

Jakub Kądziołka

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