Sci - Tech Learning Lean Prover February 17, 2023 Today I start learning Lean Prover seriously. I’ll spend a couple of days to get familar with this language and join this