5 ms·

Thanks again for the encouragement! I have submitted to "Show HN" at https://news.ycombinator.com/item?id=31927224 https://news.ycombinator.com/item?id=3192722

Thanks again for the encouragement! I have submitted to "Show HN" at https://news.ycombinator.com/item?id=31927224 https://news.ycombinator.com/item?id=31927224. Your input (and potential upvote) would be much appreciated.

rramadass 4y ago
Just looked at your submission. Your "Prooftoys" link is not clickable! It also doesn't have the "Show HN" phrase at the beginning. 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.