TY  - RPRT
TI  - CoqPyt: Proof Navigation in Python in the Era of LLMs
AU  - Pedro Carrott
AU  - Nuno Saavedra
AU  - Kyle Thompson
AU  - Sorin Lerner
AU  - João F. Ferreira
AU  - Emily First
PY  - 2024
DO  - 10.1145/3663529.3663814
UR  - https://arxiv.org/abs/2405.04282
ID  - 2405.04282
ER  -