They are up.
See the syllabus for instructions on getting to them and your coded ID.
And remember, start doing some proofs. Start with easy ones, and only go to harder ones when you can do the easy ones with a lot of confidence. Go as slowly as you need to to get things right. Speed and efficiency will come with practice.
Rick