Skip to main content

Exceptional service in the national interest

About Sandia

History
Leadership
Mission
Environmental Responsibility
Community Involvement
Belonging at Sandia
Social Media
Facts & Figures
Board of Managers

News

News Releases
Media Contacts
Lab News
Image Gallery
Publications
Videos
Alert Messages

Research

Laboratory Directed R&D
Programs
Facilities
R&D 100 Awards
Publications

Partnerships

Technology Partnerships
Licensing / Technology Transfer
Academic Programs
Local Opportunities & Economic Impact
Prospective Suppliers
Current Suppliers

Careers

View All Jobs
Students & Postdocs
Veterans
Career Disciplines
Benefits
Belonging at Sandia
Hiring Process

History
Leadership
Mission
Environmental Responsibility
Community Involvement
Belonging at Sandia
Social Media
Facts & Figures
Board of Managers

News Releases
Media Contacts
Lab News
Image Gallery
Publications
Videos
Alert Messages

Laboratory Directed R&D
Programs
Facilities
R&D 100 Awards
Publications

Technology Partnerships
Licensing / Technology Transfer
Academic Programs
Local Opportunities & Economic Impact
Prospective Suppliers
Current Suppliers

View All Jobs
Students & Postdocs
Veterans
Career Disciplines
Benefits
Belonging at Sandia
Hiring Process

Locations/Visiting
Contact Us
Employee Resources
Security Toolcart

About Sandia
News
Research
Partnerships
Careers

Research

ResearchResearch
Laboratory Directed R&D
ProgramsPrograms
Facilities
Research AwardsResearch Awards
- R&D 100 Awards
Publications
Search

Research
Laboratory Directed R&D
Programs
Facilities
Research Awards
- R&D 100 Awards
Publications
Search

Publications Details

Publications / Presentation

Prove-It: A Powerful Theorem Prover

Witzel, Wayne M.

Abstract not provided.

Additional Metadata

SAND Number

SAND2018-14267PE

Date Published

November 30, 2018

Research Partner

Sandia National Laboratories, New Mexico

Links

OSTI

About Sandia
News
Research
Partnerships
Careers

© 2026 National Technology and Engineering Solutions of Sandia, LLC. | Questions & Comments | Privacy & Security

Sandia National Laboratories is a multimission laboratory managed and operated by National Technology and Engineering Solutions of Sandia, LLC., a wholly owned subsidiary of Honeywell International, Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA-0003525.

Locations/Visiting
Contact Us
Employee Resources
Security Toolcart

Learn about the Department of Energy's Vulnerability Disclosure Program