Quote from: Hueristic on July 26, 2015, 03:40:26 AM

Quote from: ohad on July 26, 2015, 03:33:55 AM

Quote from: Hueristic on July 26, 2015, 03:32:25 AM

Quote from: ohad on July 26, 2015, 02:58:38 AM

Quote from: Hueristic on July 25, 2015, 11:17:59 PM

Quote from: brianloene on July 23, 2015, 01:26:53 AM

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.

yes, naturalog is me
and the thread simply moved as announced at the bottom of https://bitcointalk.org/index.php?topic=736447.msg10403838#msg10403838

OK, PM a Mode and have them Lock this thread.

good idea, didnt know its possible