Hacker News new | ask | show | jobs
A formally verified R-tree implementation (kuruczgy.com)
2 points by kuruczgy 953 days ago