Skip to main content
U.S. Department of Energy
Office of Scientific and Technical Information

Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.

Conference ·
OSTI ID:1843318

Abstract not provided.

Research Organization:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Organization:
USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR)
DOE Contract Number:
NA0003525
OSTI ID:
1843318
Report Number(s):
SAND2021-0827C; 693615
Resource Relation:
Conference: Proposed for presentation at the Interactive Theorem Proving held June 29 - July 1, 2021 in Rome, Italy.
Country of Publication:
United States
Language:
English