~jorge-jbs/theory-of-computation

Formalization of Automata Theory and Complexity Theory in Cubical Agda
c06ebfc9 — Jorge Blázquez Saborido 4 years ago 
Use type classes for operators
499cf042 — Jorge Blázquez Saborido 4 years ago 
Add product constructions for DFA
02da1370 — Jorge Blázquez Saborido 4 years ago 
Add .gitignore

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~jorge-jbs/theory-of-computation
read/write
git@git.sr.ht:~jorge-jbs/theory-of-computation

You can also use your local clone with git send-email.

#Formalization of Automata Theory and Complexity Theory in Cubical Agda

Following "Introduction to Automata Theory, Languages, and Computation" by John Hopcroft and Jeffrey Ullman.