Skip to content

fix(rust-cli): real Lean precondition checks in verification.rs (P0-5) - #215

Merged
hyperpolymath merged 3 commits into
mainfrom
fix/verify-preconditions-real
Oct 2, 2026
Merged

fix(rust-cli): real Lean precondition checks in verification.rs (P0-5)#215
hyperpolymath merged 3 commits into
mainfrom
fix/verify-preconditions-real

fix(rust-cli): keep rmdir read_dir error text identical to the command

7cac31f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar