Python-Based Introduction to Mathematical Proofs February 08, 2022 education programming proof writing sofia teaching +