Re: [isabelle] Preferred citation for the induct(ion) method and the induct_tac method.

The first part of the book Concrete Semantics contains an intro to Isabelle that also covers induction.


On 30/09/2019 10:19, Nagashima, Yutaka wrote:
Dear list,

Is there any paper I should cite when discussing these proof methods?

I used to cite only the old tutorial of Isabelle/HOL when writing about automating induction in Isabelle/HOL.

But maybe this was wrong, and I should cite some papers about these method.



Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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