If anyone is interesting in helping, I'm going to spend my evening trying to implement this here: https://github.com/ConceptPending/proveit https://github.com/C

If anyone is interesting in helping, I'm going to spend my evening trying to implement this here: https://github.com/ConceptPending/proveit https://github.com/ConceptPending/proveit My email is in my profile, and I'm happy to Skype chat with anyone who wants to help.