Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Region Quadtrees

view this post on Zulip Email Gateway (Jan 31 2024 at 13:49):

From: Lawrence Paulson <lp15@cam.ac.uk>
I'm happy to announce a new entry, by Tobias Nipkow:

Now online at https://www.isa-afp.org/entries/Region_Quadtrees.html

Larry

Last updated: Jan 04 2025 at 20:18 UTC