This is an adapter for the Dolly-6B model that has been fine-tuned on Coq code from the CoqGym dataset.