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 +
ChatGPT has been so hot latterly so I tried to search for some clue how good it is in formal math. Here’s a small topic in LeanProver forum if you’re interested in.
More +