Skip to content

Add user documentation, man page, and per-property proof explanations

e9850a4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Add --proof-explanation for word-level proof explanations #8927

Add user documentation, man page, and per-property proof explanations
e9850a4
Select commit
Loading
Failed to load commit list.

Annotations

1 error and 1 warning
Linux
failed Mar 29, 2026 in 50m 34s