Feedback is welcome: problemlists@aimath.org
Cite this as: AimPL: Equivariant derived algebraic geometry, available at http://aimpl.org/equideralggeom.