Artifact and Data of Mining Tactics for Automated Theorem Proving
收藏官方服务：
资源简介：
This repository contains the data and code for our paper Mining Tactics for Automated Theorem Proving, submitted to ASE'26, for review.
提供机构：
Zenodo创建时间：
2026-03-27
社区交流群
科研交流群
商业服务