C

cadcoq

Attempt to gather different parts of a cylindrical decomposition algorithm as Coq-verified algorithms