A formalization of the algebraic structure of dioid and associated lemmas (including the Nerode lemma). - View it on GitHub
Star
3
Rank
2718472