This book summarizes new directions in mathematics education research on proving at the university level, thereby providing contemporary extensions of the sub-fields of proof that Annie and John Selden introduced to the field.