Teaching Specifications Using An Interactive Reasoning Assistant