axiolid-guarantees 0.3.0

Certified-value and escalation vocabulary for geometry contracts
Documentation