GitHub repository: BalandinIlia/quantum_computer_3_qubits
Primary language: Lean
Description: Lean 4 formalization of quantum computer with 3 qubits