Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Questions about Isar

view this post on Zulip Email Gateway (Aug 17 2022 at 13:45):

From: libin03@st.lzu.edu.cn
Hi:

I want a function to return the number of the subgoals, how can I do it?
I find some functions, e.g. topthm(), can not work in Isar as in
Isabelle.
I wonder if it is worth making a lot of Isabelles running on
different computers
concurrently to prove one goal cooperating with each other?

Thanks,

Libing

Last updated: Nov 21 2024 at 12:39 UTC