fix(cli): extract goal type from file for tactic-search --file#15

markm39 merged 1 commit into

mastermxthematic/openproof:masterfrom

fix/tactic-search-file-goal-extractionmxthematic/openproof:fix/tactic-search-file-goal-extractionCopy head branch name to clipboard