@misc{indiciae40335472d0fb,
  title = {Prove-It v. 0.3},
  author = {Witzel, Wayne and Rudinger, Kenneth and Sarovar, Mohan},
  year = {2017},
  doi = {10.11578/dc.20201001.17},
  url = {https://www.osti.gov/biblio/code-45292},
  note = {Source identifier: code-45292}
}