Summer school "Proof assistants and applications"

Name: Summer school "Proof assistants and applications"
Start: 2026-08-31T09:00:00+02:00
End: 2026-09-04T19:50:00+02:00
Location: IRMA

31 August 2026 to 4 September 2026

IRMA

Europe/Paris timezone

Registration deadline is Friday July 17 (see link at bottom of page).

Information

summerschool2026@math.unistra.fr

Session

Introduction to Lean: Formalizing Mathematics with Mathlib

2 Sept 2026, 11:00

T04 (UFR Math-Info)

T04

UFR Math-Info

7 rue René Descartes 67084 Strasbourg Cedex France

There are no materials yet.

Building timetable...

Choose timezone

Summer school "Proof assistants and applications"

Information

Presentation materials