~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

3 years ago

499cf04 Add product constructions for DFA

3 years ago

11ba4cc Add product constructions for DFA

3 years ago

63e6e1c Add product constructions for DFA

3 years ago

02da137 Add .gitignore

3 years ago

628d592 Add closure properties of regular languages

3 years ago

edd33e4 Implement multi-tape Turing machines

3 years ago

d02660d Some renaming in TM

3 years ago

8edbb8c Reimplement Turing Machines' tape as an infinite sequence of symbols

3 years ago

0bb075e Add definition of Turing Machines

3 years ago

01bffe6 Add TODO keyword for incomplete proofs

3 years ago

7a18f23 Add TODO keyword for incomplete proofs

3 years ago

117d423 Redefine IsFinite and use it as typeclass

3 years ago

6baae12 Define pushdown finite automata

3 years ago
~jorge-jbs/theory-of-computation

New git repository added

3 years ago
1 / 2