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
Similar Records
Verifying Quantum Phase Estimation using Prove-It.
Verifying the Computational Integrity of Power Grid Controls with Zero-Knowledge Proof
Knowledge-assisted retrieval of video data
Conference
·
2022
·
OSTI ID:2001862
+2 more
Verifying the Computational Integrity of Power Grid Controls with Zero-Knowledge Proof
Conference
·
2023
·
OSTI ID:2222418
Knowledge-assisted retrieval of video data
Conference
·
1996
·
OSTI ID:501586
+1 more