José A. Alonso on Nostr: Lean: First steps (19 - Reductio ad absurdum). ~ Tariq Rashid (nprofile1q…4rs4v). ...
Lean: First steps (19 - Reductio ad absurdum). ~ Tariq Rashid (nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq0p4hclaqjlup0fwjt5ke3mgxq6rtjth8u62yfv0s62xkxp04wjaqa4rs4v (nprofile…rs4v)). https://leanfirststeps.blogspot.com/2024/12/19-reductio-ad-absurdum.html #ITP #LeanLang #Lean4 #Math