8000 perf: `infer_app` with `infer_only := false` (WIP) by leodemoura · Pull Request #2781 · leanprover/lean4 · GitHub 10000
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

perf: infer_app with infer_only := false (WIP)#2781

Draft
leodemoura wants to merge 1 commit intomasterfrom
check_app_perf
Draft

perf: `infer_app` with `infer_only := false` (WIP)#2781
leodemoura wants to merge 1 commit intomasterfrom
check_app_perf

Commits

Commits on Oct 29, 2023
0