Email Gateway (Oct 23 2021 at 15:53): Email Gateway (Oct 23 2021 at 15:53):From: Peter Lammich <lammich@in.tum.de>
Hello Tobias (cc list).
Getting the following warning (during sledgehammer), with the message
to please inform Tobias ... here you are.
I cannot reproduce the warning in an isolated example, as sledgehammer
seems to find+reconstruct a different proof there, and no warning is
issued.
Last updated: Jul 15 2022 at 23:21 UTC