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 wi

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.