Skip to content

Int ghost methods #4417

Int ghost methods

Int ghost methods #4417

Annotations

2 warnings

why3-deps

succeeded Dec 3, 2024 in 51s