A verified system transformer for serialization of Verdi systems using the Cheerios library.
Primary LanguageCoq