Programming, Mathematics, Learning, Learning To Code, Discrete Mathematics.
math? We’ll see. I’ve been using Lean daily for three months now. I’ve got a pretty good grasp on the basics of truth-functional logic, predicate logic, and set theory, which includes being able to prove properties about relations, functions, Cartesian products and other topics. These are some of