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