DOE OSTI · code-45292
Prove-It v. 0.3
Abstract
Prove-It is a tool for proving and organizing general theorems using Python.
Keep this discovery
Explore connections, maps & timelines
Witzel, Wayne, Rudinger, Kenneth, Sarovar, Mohan. 2017-02-01. Prove-It v. 0.3. https://doi.org/10.11578/dc.20201001.17
Cite the original work for its findings. Save a collection to share your selection of sources.