CrisPerdue

5 ms·

1. 1.▲
   Show HN: Math logic/reasoning self-education with embedded deductive tool

   1 points by CrisPerdue 4y ago|0 comments
2. 2.▲
   by CrisPerdue 4y ago

   Thanks again for the encouragement! I have submitted to "Show HN" at https://news.ycombinator.com/item?id=31927224 . Your input (and potential upvote) would be much appreciated.
3. 3.▲
   Math logic/reasoning self-education with embedded deductive tool

   2 points by CrisPerdue 4y ago|0 comments
4. 4.▲
   by CrisPerdue 4y ago

   Thank you! Good suggestion, too.
5. 5.▲
   by CrisPerdue 4y ago

   You might find my own effort in this area appropriate to you: https://prooftoys.org/ . Whether it is _exceedingly gentle_ is a legitimate question, but the site works hard to present logic and an embedded deductive system f