Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information | Startup Networx | Startup Networx