research
∙
09/06/2022
Measure Construction by Extension in Dependent Type Theory with Application to Integration
We report on an original formalization of measure and integration theory...
share
research
∙
11/06/2020
Extending Equational Monadic Reasoning with Monad Transformers
There is a recent interest for the verification of monadic programs usin...
research
∙
04/27/2020
Formal Adventures in Convex and Conical Spaces
Convex sets appear in various mathematical theories, and are used to def...
research
∙
03/22/2020
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
The algebraic properties of the combination of probabilistic choice and ...
research
∙
04/04/2019