Hanna Lachnitt

Identifiers

• name variant Hanna Lachnitt 0.60 · backfill

Papers (1)

1. Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar cs.LO · 2026 · author #2

Mentions

• 2603.07771 #2 · arxiv_oai · confidence 0.70 Hanna Lachnitt

Frequent Coauthors

• Katherine Kosaian 1 shared papers
• Sage Binder 1 shared papers