Proof Formalization in Lean

Since computers were invented, mathematicians do not have to spend hours doing computations, and can use their time to write proofs- which they need to check and double-check. What if

Related Keywords

,Mathematics Club ,Undergraduate Mathematics ,Campus Events ,