Skip to content

fix: ghost goals in autoparam tactic block#6408

Merged
mhuisi merged 1 commit intoleanprover:masterfrom mhuisi:mhuisi/ghost-goalsDec 17, 2024

Commits