RE: Tau - The Path to The Second Order Logic Solver

[stayoutoftherz]

Thanks for the update. Appreciate the shortness.
On one hand I am fascinated by TAU, on the other it is getting increasingly the smell of a sect, with Ohad being the guru.