mary 0.1.0

A safe, dependency-free color-adaptation kernel with Lean refinement proofs
Documentation