Skip to content

[1/2] Defer tactic argument rendering until trace dump - #1

Draft
Wilson1211 wants to merge 2 commits into
hol-light:mainfrom
Wilson1211:perf/lazy-tactic-arguments
Draft

Wilson1211 wants to merge 2 commits into
hol-light:mainfrom
Wilson1211:perf/lazy-tactic-arguments

Explain lazy tactic argument retention

9f33164
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
hol-light (pinned), MacOS / macos-latest, OCaml 5.4, camlp5 8.04
succeeded Sep 22, 2026 in 12m 49s