@misc{indiciae7490560923b6,
  title = {Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.},
  author = {Witzel, Wayne and Craft, Warren and Carr, Robert and Madrid Larranaga, Joaquin Emilio},
  year = {2021},
  url = {https://www.osti.gov/biblio/1843318},
  note = {Source identifier: 1843318}
}