Skip to content

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

4869ac1
Select commit
Loading
Failed to load commit list.
Merged

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

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