pith. sign in

Katherine Kosaian

Identifiers

  • name variant Katherine Kosaian 0.60 · backfill

Papers (1)

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

Mentions

  • 2603.07771 #3 · arxiv_oai · confidence 0.70 Katherine Kosaian

Frequent Coauthors