# Mathematical Proof/Proof Assistants

From Wikibooks, open books for an open world

## 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).