Comment by treyd

This is wild, I had no idea Lean could be used for things like this.