CoqPyt: Proof Navigation in Python in the Era of LLMs - Carrott, Pedro (arXiv.org)