Examines and analyzes mathematical propositions. - View it on GitHub