tag:blogger.com,1999:blog-4650294074444534066.post7934136816419222610..comments2024-03-13T03:49:34.330-07:00Comments on Typed Logic: 'T' is for Theorem-provinggeophfhttp://www.blogger.com/profile/09936874508556500234noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-4650294074444534066.post-30352612139209288662014-04-24T09:17:24.313-07:002014-04-24T09:17:24.313-07:00you're blowing my mind! (and i'm a math te...you're blowing my mind! (and i'm a math teacher!)<br />proofs were not my thing, but i love that you brought them to the challenge!<br /><br />happy a to z-ing!Tara Tylerhttps://www.blogger.com/profile/07587802105993889515noreply@blogger.com