Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@AsafKaragila The reason this came up is that I am teaching an Intro to Proofs class that I am trying to make as constructive as possible. We have not hit induction yet. So, I was hoping for another way.
