r
/
notebook
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
notebook/notes/formal-system
History
Joshua Potter 4dc9e0fab1 Alternative commands, BSTs, RDF. 2024-07-30 06:25:23 -06:00
..
logical-system Alternative commands, BSTs, RDF. 2024-07-30 06:25:23 -06:00
proof-system Alternative commands, BSTs, RDF. 2024-07-30 06:25:23 -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