|
|
|
|
|
|
by Sambdala
4501 days ago
|
|
|
If anyone is interesting in helping, I'm going to spend my evening trying to implement this here: https://github.com/ConceptPending/proveit My email is in my profile, and I'm happy to Skype chat with anyone who wants to help. |
|
|
I'll flesh it out a bit better tomorrow.