Sage Binder

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Top Venues

Arch. Formal Proofs

Publications

Sage Binder, Katherine Kosaian
Formalizing Pick's Theorem in Isabelle/HOL. CoRR (2024)
Sage Binder, Katherine Kosaian
Pick's Theorem. Arch. Formal Proofs 2024 (2024)
Sage Binder, Katherine Kosaian
Formalizing Pick's Theorem in Isabelle/HOL. CICM (2024)