feat(search): add MLX tactic proposer for Apple Silicon#17

markm39 merged 1 commit into

mastermxthematic/openproof:masterfrom

feat/mlx-tactic-searchmxthematic/openproof:feat/mlx-tactic-searchCopy head branch name to clipboard