Skip to content

verify: Reject the solver options with the Lean backend - #41

Merged
SwayamInSync merged 5 commits into
mainfrom
fix/lean-solver-options
Oct 21, 2026
Merged

verify: Reject the solver options with the Lean backend#41
SwayamInSync merged 5 commits into
mainfrom
fix/lean-solver-options

docs: Solver options with Lean export are errors, in the release notes.

08c6928
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar