Email Gateway (Aug 18 2022 at 14:43): 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: Apr 26 2024 at 01:06 UTC