Skip to content

Port algebra/gmultiset.v #245

Open
#187
Open
Port algebra/gmultiset.v#245
#187
Labels
algebraAlgebra porting tasksfeatNew feature or requestportingPorting Rocq development

Description

@lzy0505
lzy0505
opened on Apr 7, 2026

Summary

Port algebra/gmultiset.v.

Subtasks

  • CMRA
  • Updates

Dependencies

Rocq dependencies:

Metadata

Metadata

Assignees

No one assigned

    Labels

    algebraAlgebra porting tasksfeatNew feature or requestportingPorting Rocq development

    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