Formalization of Mathematical Logic and Theoretical Computer Science in the Cubical Agda theorem prover

c06ebfc `Use type classes for operators`

~jorge-jbs pushed to ~jorge-jbs/theory-of-computation git

499cf04 `Add product constructions for DFA`

~jorge-jbs pushed to ~jorge-jbs/theory-of-computation git