For developer support, see Rodin Developer Support
Rodin User Manual
Rodin Tutorials
Rodin Provers
Rodin Prover Tactics