Skip to content

Mechanise Theorem 4 (delimited release for declassify) in Agda#8

Merged
nelsonduarte merged 1 commit into
mainfrom
mechanise-theorem4-delimited-release
Jun 9, 2026
Merged

Mechanise Theorem 4 (delimited release for declassify) in Agda#8
nelsonduarte merged 1 commit into
mainfrom
mechanise-theorem4-delimited-release

proofs: mechanise Theorem 4 (delimited release for declassify) in Agda

3b609a2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar