valibuk 0.2.0

Valibuk is a library and a set of macros implementing the correct-by-construction pattern.
Documentation