We give a biased definition of a properad and an explicit example of a closed Frobenius properad. We recall the construction of the cobar complex and algebra over it.
We give an equivalent description of the algebra in terms of Barannikov's theory which is parallel to Barannikov's theory of modular operads. We show that the algebra structure can be encoded as homological differential operator.
Example of open Frobenius properad is mentioned along its specific properties.