Skip to content

removed a print statement

b234b41
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Property Verification for the frame stack semantics #58

removed a print statement
b234b41
Select commit
Loading
Failed to load commit list.

Annotations

10 warnings
build (coqorg/coq:8.20)
succeeded Feb 16, 2026 in 18m 2s