Statistical Proof Pattern Recognition: Automated or Interactive?
arXiv:1303.1419
Abstract
In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving.
arXiv:1303.1419
In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving.