CoqPyt: Proof Navigation in Python in the Era of LLMs

Open Webpage

Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First

Published: 01 Jan 2024, Last Modified: 25 Jun 2025SIGSOFT FSE Companion 2024EveryoneRevisionsBibTeXCC BY-SA 4.0