bot fix style

chore(Tactic/Simproc/ExistsAndEq): simplify proof building using `subst` #274059

Sign in to view logs

Triggered via issue August 27, 2026 07:02

vasnesterov

commented on #43162 d9f6d18

Status Success

Total duration 10s

Artifacts –

bot_fix_style.yaml

on: issue_comment

Fix style issues from lint