Featured Dataset
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"
File Size9.9 MB
Data TypeDataset
Published2026
Licensecc-by-4.0
Total Views74
Total Downloads26
Supplementary material for the paper “Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints”
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.
Kappelmann, Kevin (2026). Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints. https://doi.org/10.5281/zenodo.19406624