axiolid-guarantees 0.3.1

Certified-value and escalation vocabulary for geometry contracts
Documentation