☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
vqc_in_lean
0.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.
Transitive
Include transitive dependencies
Sort by
Require Order
Registry dependency.
Found on Reservoir.
aesop
a4a08d9
White-box automation for Lean 4
Registry dependency.
Found on Reservoir.
mathlib
839e3f6
The math library of Lean 4
1
20