I think Proposition 8.1.4.11 of Lurie's Higher Algebra gives the equivalence between (negatively graded, or homologically positively graded) CDGA's and connective $E_\infty$ algebras and Proposition 8.1.4.20 does the same for simplicial algebras (search for "rational numbers").
Yosemite Sam
- 1.9k
- 1
- 14
- 27