A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
Primary LanguageOCamlOtherNOASSERTION