search

coq-community / fav-ssr

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
MIT License
45 stars 7 forks source link

Quadtrees (chapter 13) #23

Closed clayrat closed 2 months ago

clayrat commented 2 months ago

Closed in c19e99d199cdbb2705f3d7e2c19cc89f9e9119ce