axiolid-guarantees 0.2.0

Certified-value and escalation vocabulary for geometry contracts
Documentation