Draft review (improve wording, etc.)

Add link to Computer Aided Formal Reasoning notes in the code.