Is this a good thing?
I call Vaporware. <<<--- this will be deleted soon in this self moderated topic.
two mistakes.
the first one is that we already have an automated theorem prover github.com/naturalog/tauchain
so it cannot be vaporware anymore
I stand corrected and will have to reevaluate my position change on this project. I like I'm sure many others use only this thread to gauge activity and do not subscribe to your git.
I would suggest you post in this thread when new contributions are made and also place in the op that you are
naturalog.
No thread activity here looks like no progress. Those of us that monitor many projects do not have the time to monitor more than one thread.
I look forward to seeing this as after a cursory view I see a good amount of work being done.
