We confirm a conjectural supercongruence involving Catalan numbers, which is one of the 100 selected open conjectures on congruences of Sun. The proof makes use of hypergeometric series identities and symbolic summation method.
Supercongruences arising from hypergeometric series identities
A supercongruence involving cubes of Catalan numbers
On a congruence involving $q$-Catalan numbers
![QR code for arXiv:2001.03941 [math.NT]](http://oss.arxitics.com/images/favicon.svg)