Skip to content

#with_goal tactic - #1430

Open
bodeveix wants to merge 12 commits into
Deducteam:masterfrom
bodeveix:with_goal
Open

#with_goal tactic#1430
bodeveix wants to merge 12 commits into
Deducteam:masterfrom
bodeveix:with_goal

apply

935545b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test_compile (5.2.1)
succeeded Sep 6, 2026 in 4m 18s