notebook/notes/formal-system
Joshua Potter 1d0872a032 Fixup flashcards. 2024-07-28 17:28:14 -06:00
..
logical-system Notes on proof methods. 2024-07-24 06:31:14 -06:00
proof-system Fixup flashcards. 2024-07-28 17:28:14 -06:00
abstract-rewriting.md Nest abstract rewriting systems under formal systems. 2024-07-21 06:54:03 -06:00
index.md Formal systems and hashing. 2024-07-27 07:02:30 -06:00