关注
Adrian Lehmann
Adrian Lehmann
University of UChicago
在 uchicago.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
VyZX: a vision for verifying the ZX calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781, 2022
62022
VyZX: Formal Verification of a Graphical Quantum Language
A Lehmann, B Caldwell, B Shah, R Rand
arXiv preprint arXiv:2311.11571, 2023
22023
ViCAR: Visualizing Categories with Automated Rewriting in Coq
B Shah, W Spencer, L Zielinski, B Caldwell, A Lehmann, R Rand
arXiv preprint arXiv:2404.08163, 2024
2024
Schleifenausrollen mit nicht konstanten Grenzen in FIRM
A Lehmann
Karlsruhe Institute of Technology, 2019
2019
VyZX: Verifying the ZX Calculus
A Lehmann, B Caldwell
系统目前无法执行此操作，请稍后再试。
文章 1–5