All the user LEDs are active low, so a Cy_GPIO_Write(LED_R_PORT, LED_R_NUM, 0); will turn it on.
Oh okay. I didn't find active low symbol in the schematics. Can you point me to the docs where this information is present?
When you installed the CY8CKIT-062 correctly there will be an entry for the complete description in C:\Program Files(x86)\Cypress\...
When you follow the ...\Hardware\... path there you will find a schematics PDF. Search for "user LED"