NASA NTRS · 20110015017
Querying Proofs (Work in Progress)
Abstract
We motivate and introduce the basis for a query language designed for inspecting electronic representations of proofs. We argue that there is much to learn from large proofs beyond their validity, and that a dedicated query language can provide a principled way of implementing a family of useful operations.
Keep this discovery
Explore connections, maps & timelines
Aspinall, David, Denney, Ewen, Lueth, Christoph. 2011-07-18. Querying Proofs (Work in Progress). https://ntrs.nasa.gov/citations/20110015017
Cite the original work for its findings. Save a collection to share your selection of sources.