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

fix: serialize LeanInteract REPL access with a per-command lock

22fa709
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar