Have you heard of any library for alternating automata? I found it surprisingly difficult to find.

I'm usually surprised when I find anything in Coq :)

@lyxia Good point. We need more incentives for such libraries 😊

Sign in to participate in the conversation

Generalistic Mastodon instance for open-minded people. Instance Mastodon généraliste pour personnes ouvertes d'esprit.