Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
收藏官方服务：
资源简介：
Supplementary material for the paper "Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints"
提供机构：
Zenodo创建时间：
2026-04-03
