Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] on blast method


view this post on Zulip Email Gateway (Aug 18 2022 at 15:10):

From: yongjian Li <lyj238@ios.ac.cn>
Dear Isabelle Expert,
I have a question regarding blast. Which rules
does blast use to find a tableaux proof? And is
there a method to trace which rules are used
in a specific proof found by blast?
Thank you very much for your help,
Yongjian Li

2010-04-27

yongjian Li


Last updated: Mar 28 2024 at 16:17 UTC