Filter data points if they are on path to proof of a theorem during merge#39

cs14b052 merged 2 commits intomaintrishullab/itp-interface:mainfrom

filter_and_mergetrishullab/itp-interface:filter_and_mergeCopy head branch name to clipboard