Publications

Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João Ferreira, Emily First (2024). CoqPyt: Proof Navigation in Python in the Era of LLMs. In FSE 2024.

PDF Cite Code Video DOI Pre-print

Pedro Carrott (2022). Formal Specification and Verification of the Lazy JellyFish Skip List. MSc Thesis.

PDF Cite Slides Extended Abstract Coq development