Sign-Up for HOL 2017: This is the HOL Entry Exam. It has been added to the Sign-Up to make sure that you know what HOL is about before you are joining. All the answers can be found on the HOL pages, especially in the HOL Handbook. You can get any help you want for the Exam questions, and retake it as many times as you need to.
A submitted Entry Exam will be graded instantly, and if you passed you can put on the Sorting Hat right away. You need to pass with 90% in order to proceed.