lean-quantum
lean-quantum copied to clipboard
Formalized quantum computing in Lean theorem prover
Results
0
lean-quantum issues
Sort by
recently updated
recently updated
newest added
Formalized quantum computing in Lean theorem prover