Yes. You can see the code here:<p><a href="https:&#x2F;&#x2F;dxr.mozilla.org&#x2F;mozilla-central&#x2F;source&#x2F;devtools&#x2F;client&#x2F;memory" rel="nofollow">https:&#x2F;&#x2F;dxr.mozilla.org&#x2F;mozilla-central&#x2F;source&#x2F;devtools&#x2F;clie...</a><p>(I think there are other parts of the developer tools that also use React and Redux, like the debugger.)