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.