Skip to content

[Lean] Add support for f16 and f128 floats #1787

Open
Open
[Lean] Add support for f16 and f128 floats#1787
Labels
backendIssue in one of the backends (i.e. F*, Coq, EC...)leanRelated to the Lean backend or libraryproof-libIssues related the backend-specific definitions (in the proof-lib folder)
Milestone
Lean proof library v1.0
@abentkamp

Description

@abentkamp
abentkamp
opened on Dec 1, 2025
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    backendIssue in one of the backends (i.e. F*, Coq, EC...)leanRelated to the Lean backend or libraryproof-libIssues related the backend-specific definitions (in the proof-lib folder)

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions