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 |