axiolid-reference 0.3.18

Portable scalar reference implementation and certified predicates
Documentation