I thought I saw a formal specification a while back, but perhaps that was UDT.
You’re probably thinking of cousin_it’s proof sketch of cooperation in PD. That was ADT/UDT. TDT talking about formal proofs is not part of its theory that was discussed anywhere that I know of.
You’re probably thinking of cousin_it’s proof sketch of cooperation in PD. That was ADT/UDT. TDT talking about formal proofs is not part of its theory that was discussed anywhere that I know of.