Preprint
Leveraging the Information Contained in Theory Presentations
Abstract
A theorem prover without an extensive library is much less useful to its
potential users. Algebra, the study of algebraic structures, is a core
Authors
Carette J; Farmer WM; Sharoda Y
Publication date
June 5, 2020
DOI
10.48550/arxiv.2006.09292
Preprint server
arXiv