Standard library reference https://why3.lri.fr/stdlib/

Commands: why3

why3 prove -P z3

why3 execute -use=ModulName