However, outside the field of automated proof assistants, this is rarely done in practice.
Porén, fóra do campo dos asistentes de demostracións automatizadas, é raro que se faga isto na práctica.