Skip to content

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

Merged
markm39 merged 1 commit into
masterfrom
feat/tactic-search-file
Mar 30, 2026
Merged

feat(cli): add tactic-search --file for batch data generation#14
markm39 merged 1 commit into
masterfrom
feat/tactic-search-file

feat(cli): add tactic-search --file for standalone Lean file search

4869ac1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar