Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Preferred citation for the induct(ion) method ...

view this post on Zulip Email Gateway (Aug 22 2022 at 20:30):

From: "Nagashima, Yutaka" <Yutaka.Nagashima@cvut.cz>
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.

Regards,

Yutaka

view this post on Zulip Email Gateway (Aug 22 2022 at 20:40):

From: Tobias Nipkow <nipkow@in.tum.de>
The first part of the book Concrete Semantics contains an intro to Isabelle that
also covers induction.

Tobias
smime.p7s

Last updated: Nov 21 2024 at 12:39 UTC