Declarative proofs , on the other hand, specify the actual mathematical operations
to be performed, and are therefore more easily read and checked by humans.
Może mi ktoś wyjaśnić co znaczy te dziwne połączenie dwóch czasowników to be performed ?
google translator tłumaczy to jako należy przeprowadzić