Skip to content

x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs - #1188

Merged
mkannwischer merged 1 commit into
mainfrom
jakemas/rej-uniform-eta-asm
Jul 17, 2026
Merged

x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs#1188
mkannwischer merged 1 commit into
mainfrom
jakemas/rej-uniform-eta-asm

x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with han…

e249c22
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar