Skip to content

proofs: declare the strict flag set in every module that can take it - #357

Merged
hyperpolymath merged 1 commit into
mainfrom
proofs/strict-pragmas
Oct 27, 2026
Merged

proofs: declare the strict flag set in every module that can take it#357
hyperpolymath merged 1 commit into
mainfrom
proofs/strict-pragmas

proofs: declare the strict flag set in every module that can take it

f4600da
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar