Pedro Carrott

According to our database, Pedro Carrott authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

CoqPyt: Proof Navigation in Python in the Era of LLMs.

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

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024