A formalization of the algebraic structure of dioid and associated lemmas (including the Nerode lemma).
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.