~jorge-jbs/formalization-in-cubical-agda

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

~jorge-jbs/theory-of-computation git

Formalization of Automata Theory and Complexity Theory in Cubical Agda

~jorge-jbs/mathematical-logic git

"Mathematical Logic" book formalized in Agda