Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Update of AFP entry: Well-Quasi-Orders


view this post on Zulip Email Gateway (Aug 18 2022 at 20:24):

From: Christian Sternagel <c-sterna@jaist.ac.jp>
Dear all,

I recently updated my wqo entry which now also contains a formalization
of Kruskal's tree theorem.

http://afp.sourceforge.net/devel-entries/Well_Quasi_Orders.shtml

Note that this update is currently only available in the development
version (until the next release).

cheers

chris


Last updated: Mar 29 2024 at 04:18 UTC