wjbs

Pinned Repositories

QuantumLib
Coq library for reasoning about quantum programs
Language:Coq34 5 1610
SQIR
A Small Quantum Intermediate Representation
Language:Coq81 8 1424
ViCAR
Category Theory in Coq
Language:Coq5 1 00
VyZX
Verifying the ZX Calculus
Language:Coq19 3 344
CMSC22500-Isabelle
Final Project for Type Theory (CMSC 22500)
Language:Isabelle0 2 00
QuantumLib_Permutations
Coq library for reasoning about quantum programs
Language:Coq0 0 00
respell
Language:JavaScript0 1 00
skyofstars
0 1 00
SQIR_Qlib_1_5
A Small Quantum Intermediate Representation
Language:Coq0 0 00

wjbs's Repositories

wjbs/QuantumLib_Permutations
Coq library for reasoning about quantum programs
Language:Coq0 0 00
wjbs/respell
Language:JavaScript0 1 00
wjbs/skyofstars
0 1 00
wjbs/SQIR_Qlib_1_5
A Small Quantum Intermediate Representation
Language:Coq0 0 00