Skip to content

Porting missing instances for WP #400

Open
Open
Porting missing instances for WP#400
Labels
blockedThe issue is blocked by a different issue.featNew feature or requestportingPorting Rocq developmentproof-modeProofMode porting tasks

Description

@Kaptch
Kaptch
opened on May 20, 2026

#393 introduced WP. At the time, some ProofMode typeclasses were missing. When the PM starts supporting those, the missing instances should be ported as well.

Metadata

Metadata

Assignees

No one assigned

    Labels

    blockedThe issue is blocked by a different issue.featNew feature or requestportingPorting Rocq developmentproof-modeProofMode porting tasks

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions