pith. sign in

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