vqc_in_lean0.1.0
Lean 4 port of the Verified Quantum Computing. Developed as a personal learning project to deepen understanding of quantum computing concepts and formal verification.
1-1 of 1 versions of vqc_in_lean
Sort by
Date
- 0.1
0.1.0v4.15.0-rc1