feat(Computability): add quantum computing foundations#689

Open

exAClior wants to merge 3 commits into

leanprover:mainfrom

exAClior:feat/quantum-foundations

Commits on Jun 30, 2026

Commits on Jul 1, 2026

style(Computability): avoid redundant quantum simp rules
exAClior
committed