L Learning Lean Prover 1 month ago Sci - Tech Today I start learning Lean Prover seriously. I’ll spend a couple of days to get familar with this language and join this very forum. Anyone has slightest interest in this language please More +