automated proof checking

1. redirect Proof assistant

{{rcat shell|

{{R from long name}}

{{R from merge}}

}}