Programming, Mathematics, Learning, Learning To Code, Discrete Mathematics.
a proof by induction, there must be a way to verify other kinds of proofs using the computer, I thought. After digging in a little, I found that the Natural Number Game is built on top of a relatively new programming language with backing by Microsoft called the Lean Theorem Prover. Lean is an