Other
Lean formalization for the paper "Symbolic Automata: 𝜔-Regularity Modulo Theories"
Latest commits.
Builders behind this project.
