Implementation of "Transformers for All" for the Rocq theorem prover - View it on GitHub