[isabelle] Isabelle references and support



Hi

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
Regards

Jasim



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