A formally verified R-tree implementation #1 Post by kuruczgy » Mon, Nov 13, 2023, 9:19 PM UTC A formally verified R-tree implementationkuruczgy.com