Trakt This repository contains the first version of Trakt, a generic goal preprocessing tool for proof automation tactics in Coq.