formalization-in-cubical-agda: Formalization of Mathematical Logic and Theoretical Computer Science in the Cubical Agda theorem prover

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

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

2 years ago

499cf04 Add product constructions for DFA

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

2 years ago

View project feed