GT Verif – LACL – 6 november 2025

This page collects ressources related to my talk at GT Verif on November 6, 2025:

Slides
Library example with B (case study presented at SFSF in Feb. 2015)
Library example with RODIN (case study presented at GT Verif in Nov. 2025)

Tools: