Skip to content

fix: prefix unused termination proof variables with underscore

737bd5c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Make type of Assign more specific with Variable inductive #36

fix: prefix unused termination proof variables with underscore
737bd5c
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
label-conflicts
succeeded May 5, 2026 in 10s