Școala de toamnă ILDS Coq & Lean 2023 a fost un eveniment educațional organizat de Institutul de Logică și Știință a Datelor (ILDS), care are ca scop să introducă studenții în utilizarea asistenților de demonstrație Coq și Lean, precum și în fundamentele teoretice ale demonstrării interactive de teoreme. Școala de toamnă s-a desfășurat în perioada 18-20 septembrie 2023, la București, România, și a cuprins cursuri și ateliere practice, susținute de profesori și cercetători recunoscuți în domeniu. Participanții au avut avea ocazia să învețe despre logica matematică, teoria tipurilor, calculul lambda, verificarea programelor, teoria categoriilor și algebrele universale. Școala de toamnă s-a adresat studenților la licență, masterat sau doctorat, precum și profesioniștilor interesați de demonstrarea formală de teoreme matematice.