Skip to content

feat(Computability): add quantum computing foundations#689

Open
exAClior wants to merge 3 commits into
leanprover:mainfrom
exAClior:feat/quantum-foundations
Open

feat(Computability): add quantum computing foundations#689
exAClior wants to merge 3 commits into
leanprover:mainfrom
exAClior:feat/quantum-foundations

style(Computability): avoid redundant quantum simp rules

af1eb55
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 1, 2026 in 2s