Skip to content

HOL-Light: Prove x86_64 backend correct #912

Open
8 of 12 issues completed
Open
HOL-Light: Prove x86_64 backend correct#912
8 of 12 issues completed
Labels
hol-lightx86_64
Milestone
v1.0.0

Description

@mkannwischer
mkannwischer
opened on Jan 28, 2026

Meta issue to track progress on x86_64 proofs.

Metadata

Metadata

Assignees

No one assigned

    Labels

    hol-lightx86_64

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions