Eric M. Friedlander in the paper The infinite loop Adams conjecture via Classification Theorem for $\Gamma$-spaces proved the infinite loop Adams conjecture using techniques involved $\Gamma$-space.
I am wondering if this proof has been worked out explicitly using language of $E_{\infty}$ operads. If so, is there a reference for it?