Last working tf2 model
This is the most recent fully working commit of tf2 before its removal.
It is compatible with coq-tactician-reinforce commit 68e5faa3309c662200444e83d621951556052170.
This is the most recent fully working commit of tf2 before its removal.
It is compatible with coq-tactician-reinforce commit 68e5faa3309c662200444e83d621951556052170.