# Mathematical Proof/Proof Assistants

## Contents

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]}.

## References[edit]

- ↑ Proof assistant (article on wikipedia).