Skip to content

docs(QuantumMechanics): add Hilbert space API map#1456

Merged
jstoobysmith merged 8 commits into
leanprover-community:masterfrom
gloges:SpaceDHIlbertSpace-docs
Jul 23, 2026
Merged

docs(QuantumMechanics): add Hilbert space API map#1456
jstoobysmith merged 8 commits into
leanprover-community:masterfrom
gloges:SpaceDHIlbertSpace-docs

api linter fixes

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

Annotations

1 warning
Python based style linter
succeeded Jul 22, 2026 in 15s