Re: [isabelle] Isabelle references and support
On Tue, 23 Feb 2016, Omar Jasim wrote:
I hope you have a nice day, please I just started learning Isabelle for
mathematical proving. Please can you help me with references or any
materials related to mathematical proving as I have seen just one
"Isabelle Primer for Mathematicians" but I still unable to understand
I don't think there is anything special about mathematical applications of
Isabelle. Everything is ultimately mathematics, even if
computer-scientists sometimes pretend that it is all about computation and
So you can just look at the regular examples and documentation of
Isabelle. E.g. see the Documentation panel in the Prover IDE.
It might help to start clicking through existing theories and look a bit
at the screenshots with explanations in the Isabelle/jEdit manual.
This archive was generated by a fusion of
Pipermail (Mailman edition) and