Skip to content

feat(QuantumMechanics): Add TODO item for QM#1084

Merged
Timeroot merged 2 commits into
leanprover-community:masterfrom
jstoobysmith:TODOs
May 8, 2026
Merged

feat(QuantumMechanics): Add TODO item for QM#1084
Timeroot merged 2 commits into
leanprover-community:masterfrom
jstoobysmith:TODOs

Conversation

@jstoobysmith
Copy link
Copy Markdown
Member

Adding a TODO item for quantum mechanics related to integration with the QuantumInfo library.

@jstoobysmith jstoobysmith added the t-quantum-mechanics Quantum mechanics label May 6, 2026
@jstoobysmith jstoobysmith requested a review from Timeroot May 6, 2026 10:49
@jstoobysmith jstoobysmith added the easy < 20s of review time label May 8, 2026
@jstoobysmith jstoobysmith requested a review from rodolfor-s May 8, 2026 04:57
Copy link
Copy Markdown
Collaborator

@Timeroot Timeroot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I agree with this TODO, looks good + will merge!

@Timeroot Timeroot merged commit bb01949 into leanprover-community:master May 8, 2026
4 checks passed
Copy link
Copy Markdown
Collaborator

@rodolfor-s rodolfor-s left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. Looking forward to the integration 😄

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

easy < 20s of review time t-quantum-mechanics Quantum mechanics

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants