Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Re2: Antwort: Coinductive_List and LList/LFi...

view this post on Zulip Email Gateway (Aug 18 2022 at 13:50):

From: Jens Doll <jd@cococo.de>
Thank you for the explanation. I now plan to add a navigation aid for such
long theories to my product Elbe .
Jens

Last updated: May 03 2024 at 12:27 UTC