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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and