Skip to content

fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal - #228

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/remove-false-runtime-assumptions
Oct 6, 2026
Merged

fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal#228
hyperpolymath merged 1 commit into
mainfrom
fix/remove-false-runtime-assumptions

fix(soundness): remove false postulates in SafeFiniteField, SafePipe,…

abe7a34
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar