Elements of mathematical analysis in PVS. See von (1996)

by B Dutertre