DOE OSTI · 1843318
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Witzel, Wayne, Craft, Warren, Carr, Robert, Madrid Larranaga, Joaquin Emilio. 2021-01-01. Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.. https://www.osti.gov/biblio/1843318
Cite the original work for its findings. Save a collection to share your selection of sources.