About
Philosopher, mathematician, linguist, computer scientist.
Trying to understand the world.
Posts
2026-03-03
ProofGraph - Graph Analytics on Dependency Graphs in Lean Ecosystem
Exploring graph theory through an application to formalized mathematics
2026-02-02
Lean's Metaprogramming - Harry Goldstein's Talk
How will things play out?