A computer-verified monadic functional implementation of the integral
scientific article; zbMATH DE number 5774340
scientific article