Skip to content

formalization: totalize Ix.Tc and extend soundness proofs through WHNF K1h - #521

Merged
johnchandlerburnham merged 1 commit into
mainfrom
jcb/formalization
Jul 27, 2026
Merged

formalization: totalize Ix.Tc and extend soundness proofs through WHNF K1h#521
johnchandlerburnham merged 1 commit into
mainfrom
jcb/formalization

formalization: establish soundness framework, totalize kernel, and ex…

647d2c3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar