Comment by nilamo

I'm a little surprised the article stresses Lean programs so much, without ever stating what that is or why it somehow proves something. Maybe that's expected knowledge for this sort of thing.

https://lean-lang.org/