Blog
| Dec 14 2024 | Formalizing Axiomatic Set Theory in Lean |
| May 15 2024 | Proving Graph 3-Coloring with Go and Zero-Knowledge Proofs |
| Mar 20 2024 | Isomorphism Classes of S-Decorated Simple Graphs |
| May 10 2023 | Associating Finite Groups with Cayley Color Graphs |
| Dec 26 2022 | The Representability of Graphic Matroids as Vector Matroids |