You may want to try the manual, User Guide to the CtCoq Proof Environment, since the online version is not yet implemented. Sorry about that!