Talk:T2 Temporal Prover

Needs more material; and citing sources.