This section gives advices about tools used to make mathematical proofs.

A **proof assistant** is a software tool to assist with the development of formal proofs by man-machine collaboration ^{[1]}.

## ReferencesEdit

- ↑ Proof assistant (article on wikipedia).