Skip to content

fix: serialize Lean REPL access and pinpoint search-tactic feedback - #37

Open
KrystianNowakowski wants to merge 2 commits into
mainfrom
experiment-robustness
Open

fix: serialize Lean REPL access and pinpoint search-tactic feedback#37
KrystianNowakowski wants to merge 2 commits into
mainfrom
experiment-robustness

Commits

Commits on Jul 20, 2026