Homotopy Frobenius structures on the cohomology of a manifold

We show that the category of lax involutive $n$-Frobenius algebras is Quillen equivalent to the category of right comodules of the $n$-Poisson cooperad. It follows in particular, that the cohomology of a parallelized $n$-manifold is naturally endowed with a homotopy involutive $n$-Frobenius structure extending the rational homotopy type of $M$, solving a long-standing question.