ITP

Learning Lean Prover

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
Go toTop