Full threadmunchler·Dang, I was hoping this might be something cool about graphs in the Lean language/theorem prover.View on HN