Author: James Oswald
- February 18, 2024 Proving the Correctness of Insertion Sort in Lean4
- January 4, 2024 Worldbuilding Formal and Aesthetic Magic Systems
- November 3, 2023 Anticode: A Good Minimalist Code Of Conduct
- October 30, 2023 Inference Rules in Peirce's Alpha Existential Graphs (Part 1)
- October 3, 2023 A First Look at a Formal Notion for AEG Subgraphs
- August 20, 2023 Basic Properties of Peirce's Alpha Existential Graphs
- July 31, 2023 Propositional Logic in Peirce's Alpha Existential Graphs