Apply2Isar

Binder, Sage; Lachnitt, Hanna; Kosaian, Katherine

doi:10.4230/artifacts.27121

Artifact

Apply2Isar Software

Authors Sage Binder , Hanna Lachnitt , Katherine Kosaian

Part of: Collection: Supplementary Materials
License: Creative Commons Attribution 4.0 International
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.27121
URN: urn:nbn:de:0030-drops-271212

Author Details

Sage Binder

University of Iowa, Iowa City, IA, USA

Hanna Lachnitt

Stanford University, Stanford, CA, USA

Katherine Kosaian

University of Iowa, Iowa City, IA, USA

Content

Software (Source Code): https://github.com/sagebinder/apply2isar
archived version

Version/Status

Content created at: 2026-02-25

Cite As Get BibTex

Sage Binder, Hanna Lachnitt, Katherine Kosaian. Apply2Isar (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27121

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail