We know that there the so called smooth algebras also known as C infinity rings. They can play an important role in modern treatment of differential geometry. Is there a coring analogue?