4 Commits (main)

Author	SHA1	Message	Date
Joshua Potter	9c39cc2b49	Notes on equality and formal systems.	2024-06-03 07:55:29 -06:00
Joshua Potter	a9d0925080	Copenhagen notes.	2024-05-09 14:29:12 -06:00
Joshua Potter	cf0daeab7d	Algorithmic notation and more on two's-complement.	2024-02-27 09:09:51 -07:00
Joshua Potter	bbf5bf459e	Move templates and journal to underscore name.	2024-02-06 07:51:23 -07:00