Lean-QuantumAlg

Source: url:https://github.com/QudeLeap/Lean-QuantumAlg Authors: QudeLeap Team Status: verified Main declarations: QuantumAlg.GroverSearch.main_success_probability Tags: quantum-computing, quantum-algorithms, quantum-signal-processing, quantum-kernels MSC: 81P68, 81P45, 68Q12