Here, Code_GTD_Learn will document the concept-proofs done during his learning-time.
CodeGTDLearn doesn’t have any following yet.