All very interesting, but I am lost in details (and don´t have time for them). Even the progress bullets don´t make sense to me (e.g. nice that it is almost done, but what is proof extraction?)
Is there a summary of what is the power of TAU in 3 sentences available? Sorry for being so dumb.