Papers

Talk proposals

Talks

PhD Thesis

Thesis

This is a temporary version.
[manuscript]

Source code

The source code is spread across three repositories: CoqEAL, LaSalle and mathcomp-analysis.

A snapshot of the code presented in the manuscript is here.

Internships