[evolve2k]

Interesting I’ve followed lean for many years and must admit I was not aware of this. Curious to dive in. Thanks for including this.