Skip to content

proofs: declare the strict flag set in every module - #46

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

proofs: declare the strict flag set in every module#46
hyperpolymath merged 1 commit into
mainfrom
proofs/strict-pragmas

proofs: declare the strict flag set in every module

c9ab62a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar