Have you heard of any #Coq library for alternating automata? I found it surprisingly difficult to find.
@MartinShadokI'm usually surprised when I find anything in Coq :)
@lyxia Good point. We need more incentives for such libraries 😊
Generalistic Mastodon instance for open-minded people.
Instance Mastodon généraliste pour personnes ouvertes d'esprit.