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

[1/2] Defer tactic argument rendering until trace dump#1
Wilson1211 wants to merge 2 commits into
hol-light:mainfrom
Wilson1211:perf/lazy-tactic-arguments

Commits

Commits on Sep 20, 2026

Commits on Sep 21, 2026