axiolid-reference 0.3.15

Portable scalar reference implementation and certified predicates
Documentation