CIMPA School on Machine-Checked Mathematics: an introduction to formally verified mathematics

Sobre matemática formalmente verificada

Escuela introductoria sobre asistentes de verificación como Lean y Rocq (Coq), dirigida a matemáticas y matemáticos sin experiencia previa en lógica o verificación. 

Tutoriales, conferencias y sesiones prácticas con especialistas

Más información en:  https://fresco.gitlabpages.inria.fr/frescocimpa26.html

                                   https://www.cimpa.info/en/node/63 

Programa tentativo y registro: https://fresco.gitlabpages.inria.fr/ProgramColor.pdf

                                                 https://applications.cimpa.info/

 Apoyo financiero CIMPA disponible.