TY  - RPRT
TI  - Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.
AU  - Witzel, Wayne
AU  - Craft, Warren
AU  - Carr, Robert
AU  - Madrid Larranaga, Joaquin Emilio
PY  - 2021
UR  - https://www.osti.gov/biblio/1843318
ID  - 1843318
ER  -