Skip to content

feat(QuantumInfo): angle-parameterized qubit ket for Pancharatnam connection#1139

Open
wock9000 wants to merge 1 commit into
leanprover-community:masterfrom
Xylem-Group:pancharatnam-qubit
Open

feat(QuantumInfo): angle-parameterized qubit ket for Pancharatnam connection#1139
wock9000 wants to merge 1 commit into
leanprover-community:masterfrom
Xylem-Group:pancharatnam-qubit

feat(QuantumInfo): angle-parameterized qubit ket for Pancharatnam con…

f05dd5b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lean based style linters
succeeded Jun 2, 2026 in 51m 37s