Title resolution pending

Archive of Formal Proofs (AFP),https://www · 2026

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

representative citing papers

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints

cs.LO · 2026-04-17

citing papers explorer

Showing 1 of 1 citing paper.

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints cs.LO · 2026-04-17 · unreviewed · ref 1

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer