- April 23, 2025
A Meditation on Extending Inductive Types in Lean4
- April 23, 2025
A Simple Typeclass for Logic Formulae in Lean4
- June 11, 2024
Inference Rules in Peirce's Alpha Existential Graphs (Part 2)
- April 11, 2024
Formalizing The Singularizing Properties Problem
- March 29, 2024
The Law of Excluded Middle Does Not Imply the Axiom of Choice
- January 4, 2024
Worldbuilding Formal and Aesthetic Magic Systems
- 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