Lean Architect supplementary material

Zhu, Thomas; Monticone, Pietro; Welleck, Sean; Avigad, Jeremy

doi:10.4230/artifacts.27122

Artifact

Lean Architect supplementary material Software

Authors Thomas Zhu , Pietro Monticone , Sean Welleck , Jeremy Avigad

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.27122
URN: urn:nbn:de:0030-drops-271223

Author Details

Thomas Zhu

Carnegie Mellon University, Pittsburgh, PA, USA

Pietro Monticone

University of Trento, Italy

Sean Welleck

Carnegie Mellon University, Pittsburgh, PA, USA

Jeremy Avigad

Carnegie Mellon University, Pittsburgh, PA, USA

Content

Software (Source Code): https://github.com/hanwenzhu/LeanArchitect
archived version

Version/Status

Content created at: 2026-05-24

Cite As Get BibTex

Thomas Zhu, Pietro Monticone, Sean Welleck, Jeremy Avigad. Lean Architect supplementary material (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27122

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