Skip to content

Sledghammer-style Conjecture Parsing#866

Merged
quickbeam123 merged 1 commit into
masterfrom
smtlib-goal-annotation
Jun 17, 2026
Merged

Sledghammer-style Conjecture Parsing#866
quickbeam123 merged 1 commit into
masterfrom
smtlib-goal-annotation

sledghammer-style conjecture parsing

a2d2db8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jun 11, 2026 in 21m 26s