Explore les PDE elliptiques, les solutions faibles, la régularité et les solutions fortes, en mettant l'accent sur les solutions classiques et les techniques de preuve.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
