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.
I have submitted to "Show HN" at https://news.ycombinator.com/item?id=31927224.
Your input (and potential upvote) would be much appreciated.
Maybe resubmit as a link with a title something like "Show HN: Simple Proof System for Beginners" (look at previous "Show HN" posts) and add the text which will show up as a comment.