You can find the documentation of the arithmetic stratus's package at : file:////users/outil/arith/latest/modules_stratus/arithmetic/doc/arith/index.html