I am going to have to try Lean. I find I sometimes fall into the trap of wanting the ideal tool or solution when good enough will get me further. The little I'v

I am going to have to try Lean. I find I sometimes fall into the trap of wanting the ideal tool or solution when good enough will get me further. The little I've looked at Lean so far, has been encouraging from when I tried to play with Coq several years ago.