Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Lemma location suggestion tool

Email Gateway (Aug 19 2022 at 16:51):

From: Joachim Breitner <breitner@kit.edu>
Hi,

thanks to the help on this list I was able to create a small command
that suggest a suitable theory for a lemma, after you have stated and
proved it in a theory with more dependencies than necessary.

See https://github.com/nomeata/isa-where-to-move
for an example, installation instructions, a little bit of documentation
and especially the incomplete list of "Bugs and shortcomings".

Let me know if you found it useful!

Greetings,
Joachim
signature.asc

Last updated: Apr 23 2024 at 20:15 UTC