Re: [isabelle] isabelle doc - where to start?
Le 24/05/2018 à 04:59, Jeremy Dawson a écrit :
I have to learn to use Isabelle 2017, and I can't find where to start in
I've successfully got a theory file called HOL_Gen.thy,
and fixed all the errors which show up when I run
/home/users/jeremy/Isabelle2017/bin/isabelle process -T HOL_Gen
but now I want to develop proofs interactively.
to open the interactive editor.
This archive was generated by a fusion of
Pipermail (Mailman edition) and