-
Formalized algebraic numbers: construction and first-order theory.
This thesis presents a formalization of algebraic numbers and their theory. It brings two new important contributions to the formalization of mathematical results in... -
Foundational aspects of multiscale digitization
International audience -
A dependently-typed construction of semi-simplicial types
International audience -
Pedagogical lambda-cube: the λ² case
38 pages
