[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Freek Wiedijk
- Formal Proof -- Getting Started
- Notices of the American Mathematical Society V55n11 (Dec 2008)
[ tx081101408p.pdf ]
- =EXAMPLES Mizar Quadratic Residue =HOWTO FORMAL PROOFS MATHEMATICS TOOLS
- Describes the leading proof assistants and theorems that have been proved.
- Describes how to get the tools and use them.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]