Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP contribution: Coinductive

Email Gateway (Aug 18 2022 at 14:43):

From: Tobias Nipkow <nipkow@in.tum.de>
We are pleased to announce the first contribution in 2010:

Coinductive
Andreas Lochbihler

This is a collection of theories defining lazy (finite and infinite)
lists and a library of functions on them coinductively. Lazy natural
numbers are covered as well. The initial theory was contributed by
Paulson and Wenzel. Further contributions are welcome.

http://afp.sourceforge.net/entries/Coinductive.shtml

Last updated: Nov 21 2024 at 12:39 UTC