Lean 4 port of the Verified Quantum Computing. Developed as a personal learning project to deepen understanding of quantum computing concepts and formal verification.
Displaying 1-1 of 1 versions of vqc_in_lean
Sort by
Date
0.1Version track: 0.1
0.1.0
17 days ago
Released on December 31, 2024 at 7:08:43AM
Commit 415892f builds on its recent leanprover/lean4:v4.15.0-rc1