[isabelle-dev] Explorer.thy [was: performance problems]
florian.haftmann at informatik.tu-muenchen.de
Wed Sep 12 08:23:20 CEST 2018
>> On 7 Sep 2018, at 19:18, Makarius <makarius at sketis.net> wrote:
>> I can't try it out, since theory "Explorer" is missing.
> Attached. A very cool thing.
Nice to see that old draft from 5 years ago.
I would still agree that such a tool would be tremendously useful, but
before going into the distro it would need technical improvement, i.e.
more civilized approach toward Isar proof text generation, similar to
Any opinions on that?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev