The Seventeen Provers of the World

Foreword by Dana S. Scott

Editors:

ISBN: 978-3-540-30704-4 (Print) 978-3-540-32888-9 (Online)

Table of contents (19 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-9

    Introduction

  3. No Access

    Book Chapter

    Pages 10-10

    Informal

  4. No Access

    Book Chapter

    Pages 11-19

    HOL

  5. No Access

    Book Chapter

    Pages 20-23

    Mizar

  6. No Access

    Book Chapter

    Pages 24-27

    PVS

  7. No Access

    Book Chapter

    Pages 28-35

    Coq

  8. No Access

    Book Chapter

    Pages 36-40

    Otter/Ivy

  9. No Access

    Book Chapter

    Pages 41-49

    Isabelle/Isar

  10. No Access

    Book Chapter

    Pages 50-54

    Alfa/Agda

  11. No Access

    Book Chapter

    Pages 55-66

    ACL2

  12. No Access

    Book Chapter

    Pages 67-71

    PhoX

  13. No Access

    Book Chapter

    Pages 72-87

    IMPS

  14. No Access

    Book Chapter

    Pages 88-95

    Metamath

  15. No Access

    Book Chapter

    Pages 96-107

    Theorema

  16. No Access

    Book Chapter

    Pages 108-115

    Lego

  17. No Access

    Book Chapter

    Pages 116-126

    Nuprl

  18. No Access

    Book Chapter

    Pages 127-141

    Ωmega

  19. No Access

    Book Chapter

    Pages 142-150

    B Method

  20. No Access

    Book Chapter

    Pages 151-157

    Minlog

  21. Back Matter

    Pages -