HOL-Light: Prove AVX2 `rej_uniform` #916

Open

Assignees

Labels

hol-lightx86_64

Milestone

opened

on Jan 28, 2026

No description provided.

Metadata

Assignees

jakemas

Labels

hol-lightx86_64

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

v1.0.0No due date

Relationships

None yet

Development

No branches or pull requests