x86_64 + HOL-Light: Replace rej_uniform intrinsics with assembly and HOL-Light CORRECT and MEMSAFE proofs#1014
Open
jakemas wants to merge 1 commit into
Open
x86_64 + HOL-Light: Replace rej_uniform intrinsics with assembly and HOL-Light CORRECT and MEMSAFE proofs#1014jakemas wants to merge 1 commit into
jakemas wants to merge 1 commit into
Commits
Commits on Jun 4, 2026
- authored andcommitted
