Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network
Do you have the bounty program?
i'll give 1btc to whoever performs knuth-bendix completion algorithm (manually or automatically) for both I-DATALOG and P-DATALOG as defined in chapter 9 of http://www.springer.com/us/book/9783540287872
offer limited till the end of this year.
What? No "yeah yeah pump pump, lambooo, moooon, we all gonna be rich" bounty program here? that's weird... this is not a legit project then... everybody sells they coins. we all going home. period.
