Articles

Where I talk about various things.

Notation Idea for Binary Logical Relations 7 Jul 2024
12-Nominal Note Naming System 17 Apr 2024