Re: [isabelle] s/h: bogus proofs from e



Hi Asta,

> I find that meson is very sensitive to "using" lemmas vs feeding them as arguments and that sledgehammer ignores this.

Thank you for your report. Thanks to your example, I was able to track down the issue and find a solution for the Isabelle development version.

Cheers,

Jasmin





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