Post #514615

Also, my preference shouldn’t matter to anyone else. If you want to increase you proof assistant skill (even from nothing), I suggest lean. Probably the same if you want to increase programming skill in a dependently typed language. Honestly, I should get more comfortable with it.