Email Gateway (Aug 18 2022 at 11:39): Email Gateway (Aug 18 2022 at 11:39):From: "jwang whu.edu.cn (jwang)" <jwang@whu.edu.cn>
Hi,
Some subgoals can be automatically proved by auto-method in Isabelle.I want to know how to look over the proof procedure of auto-method in Isabelle system?
Thanks
Jane
Email Gateway (Aug 18 2022 at 11:39):From: Lawrence Paulson <lp15@cam.ac.uk>
This source code of this method is complicated and it will probably
not make any sense to you. You'll find information in the tutorial,
section 5.13. You may also find the following paper interesting: http://www.cl.cam.ac.uk/~lp15/papers/Reports/blast.pdf
Larry
Last updated: May 03 2024 at 08:18 UTC