# rr formal run --contract proof workdir
formal/
