Prosocoelus crassinatus (FOSSIL) Solle, 1936 †
Prosocoelus handaqiensis (FOSSIL) Liang, 1980 †
Prosocoelus kotanbulakensis (FOSSIL) Krasilova, 1962 †
Prosocoelogeton lenticularis (FOSSIL) Quenstedt 1926 †
Prosocoelus orientalis (FOSSIL) Zhang, 1977 †
Prosocoelus pesanseris (FOSSIL) (Zeiler & Wirtgen 1851) †
Prosocoelus undans (FOSSIL) Desbiens, 1994 †