Artifact and Data of Mining Tactics for Automated Theorem Proving (Major Revision)
收藏官方服务：
资源简介：
This repository contains the data and code for our paper Mining Tactics for Automated Theorem Proving, submitted to ASE'26, for review (Major Revision).
提供机构：
Zenodo创建时间：
2026-07-17
