< Mathematical Proof

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

  1. ↑ Proof assistant (article on wikipedia).

See also

Wikibook

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.