Skip to content

doc: fix error explanation wording#730

Merged
david-christiansen merged 1 commit intoleanprover:mainfrom
alok:doc/error-explanations-wording
Jan 6, 2026
Merged

doc: fix error explanation wording#730
david-christiansen merged 1 commit intoleanprover:mainfrom
alok:doc/error-explanations-wording

Commits

Commits on Dec 29, 2025