Adrian Lehmann

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Queries Using Views

Top Venues

Publications

Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand
ViCAR: Visualizing Categories with Automated Rewriting in Coq. CoRR (2024)
Adrian Lehmann, Ben Caldwell, Bhakti Shah, Robert Rand
VyZX: Formal Verification of a Graphical Quantum Language. CoRR (2023)
Adrian Lehmann, Ben Caldwell, Robert Rand
VyZX : A Vision for Verifying the ZX Calculus. CoRR (2022)