• Top
    • Documentation
      • Xdoc
      • ACL2-doc
      • Recursion-and-induction
      • Loop$-primer
      • Operational-semantics
      • Pointers
      • Doc
      • Documentation-copyright
      • Publications
        • Pubs-books
        • Pubs-videos
        • Pubs-papers
        • Pubs-summary
        • Pubs-slides
        • Pubs-related-web-sites
        • Course-materials
        • Args
        • ACL2-doc-summary
        • Finding-documentation
        • Broken-link
        • Doc-terminal-test-2
        • Doc-terminal-test-1
      • Books
      • Boolean-reasoning
      • Projects
      • Debugging
      • Community
      • Std
      • Proof-automation
      • Macro-libraries
      • ACL2
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Math
      • Testing-utilities
    • Publications

    Pubs-related-web-sites

    Related Web Sites

    • Mechanized Reasoning Database (USA)
    • Mechanized Reasoning Database (Germany)
    • Formal Methods
    • ORA Canada Bibliography of Automated Deduction