[isabelle] Isabelle references and support


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 this software.
many thanks in advance


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.