Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge Witzel, Wayne W.; Craft, Warren C.; Carr, Robert C.; Madrid Larranaga, Joaquin E. Abstract not provided. More Details TYPE Conference Paper YEAR 2021 OSTI
Quantum Algorithm Verification Using Prove-It Witzel, Wayne W.; Rudinger, Kenneth M.; Carr, Robert C.; Madrid Larranaga, Joaquin E.; Wingo, Jamie; Craft, Warren C.; Kapur, Deepak K.; Sarovar, Mohan S. Abstract not provided. More Details TYPE Presentation YEAR 2019 OSTI