ew
  • Experience
  • Projects
  • Blog
  • About

Blog

RSS feed

All Game DevLinuxMathNetworksRust
Dec 14 2024

Formalizing Axiomatic Set Theory in Lean

Math
May 15 2024

Proving Graph 3-Coloring with Go and Zero-Knowledge Proofs

MathNetworks
Mar 20 2024

Isomorphism Classes of S-Decorated Simple Graphs

Math
May 10 2023

Associating Finite Groups with Cayley Color Graphs

Math
Dec 26 2022

The Representability of Graphic Matroids as Vector Matroids

Math

© 2025 Edward Wibowo. All Rights Reserved.