axiolid-predicates 0.2.0

Certified exact-arithmetic geometric predicates
Documentation