Formalization of Automata Theory and Complexity Theory in Cubical Agda

"Mathematical Logic" book formalized in Agda