Skip to content

refactor: QuantumInfo line lengths <100characters#1195

Open
jstoobysmith wants to merge 3 commits into
leanprover-community:masterfrom
jstoobysmith:QuantumInfoLines
Open

refactor: QuantumInfo line lengths <100characters#1195
jstoobysmith wants to merge 3 commits into
leanprover-community:masterfrom
jstoobysmith:QuantumInfoLines

fix: Build

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

Annotations

1 warning
Lean based style linters
succeeded Jun 17, 2026 in 4m 5s