A formally verified R-tree implementationkuruczgy.com2 points·kuruczgy··0 commentsOpen articleSaveView on HN