feat(cli): add tactic-search --file for batch data generation#14

markm39 merged 1 commit into

mastermxthematic/openproof:masterfrom

feat/tactic-search-filemxthematic/openproof:feat/tactic-search-fileCopy head branch name to clipboard