Great Work! Just browsed through it and it looks quite promising.
I highly encourage you to submit it to HN as a "Show HN: ..." (instead of being buried in a comment) and solicit feedback. Projects like this deserve more and better recognition.
I highly encourage you to submit it to HN as a "Show HN: ..." (instead of being buried in a comment) and solicit feedback. Projects like this deserve more and better recognition.
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.