Please wait while you're being redirected to ...
Пожалуйста, подождите, вы будете перенаправлены на ...
In einer Sekunde geht es zu ...
Espera mientras te redireccionamos a ...
https://mathoverflow.net/questions/15689/is-there-any-proof-assistant-based-on-first-order-logic