GRAPA - Gradual Proof Assistants
Equipo asociado
Año de inicio: 2023
Año de término: 2025
Instituciones colaboradoras:
● Centro Inria de la Université de Rennes, Equipo-proyecto GALLINETTE (Francia)
● Universidad de Chile (Chile)
El objetivo principal de este equipo de investigación franco-chileno es extender el alcance de la tipificación gradual a teorías de tipos completas para respaldar la programación certificada fluida en una nueva generación de asistentes de prueba.
Los objetivos son: