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 +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 +