Lean

Theorem proving is a great exercise of the mind. It requires skill, determination, focus, and mentorship.

I’ve enjoyed my experience working thorough the content and it’s been important to realize what I don’t know. There’s a huge piece of evidence there.

For instance, I wanted to prove x = y after already having the statement 2x=2y. It’s one of those things that feels obvious on the surface but the intricacies of what’s going on is fascinating.