arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Bhakti Shah"" — arXiv2 Search
Showing 1–3 of 3 results
/ Date
/ Name
Apr 11, 2024
ViCAR: Visualizing Categories with Automated Rewriting in Coq
Nov 20, 2023
VyZX: Formal Verification of a Graphical Quantum Language
Jul 1, 2024
How We Built Cedar: A Verification-Guided Approach