[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Wiedijk08
  1. Freek Wiedijk
  2. Formal Proof -- Getting Started
  3. Notices of the American Mathematical Society V55n11 (Dec 2008) [ tx081101408p.pdf ]
  4. =EXAMPLES Mizar Quadratic Residue =HOWTO FORMAL PROOFS MATHEMATICS TOOLS
  5. Describes the leading proof assistants and theorems that have been proved.
  6. Describes how to get the tools and use them.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]