https://www.vexrobotics.com/vexiq/resources/programming
https://help.vex.com/category/275-getting-started---software
For beginning coders, use block-based VCS: https://link.vex.com/downloads/vcs-pc
For advanced coders, use code-based RobotC: http://www.robotc.net/release/vexrobotics/
RobotC guide: https://help.vex.com/article/253-how-to-install-robotc
Block-code based combination, Easy-C: https://www.vexrobotics.com/easyc-v5.html
Firmware: https://www.vexrobotics.com/vexiq/resources/vexos