CoqPyt: Proof Navigation in Python in the Era of LLMs

Detalles Bibliográficos

Publicado en:	arXiv.org (May 7, 2024), p. n/a
Autor principal:	Carrott, Pedro
Otros Autores:	Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F, First, Emily
Publicado:	Cornell University Library, arXiv.org
Materias:	Data collection Tools
Acceso en línea:	Citation/Abstract Full text outside of ProQuest
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!