Skip to content

Port iRewrite #362

Open
Open
Port iRewrite#362
Assignees
Kaptch
Labels
claimedSomebody is working on thisfeatNew feature or requestportingPorting Rocq developmentproof-modeProofMode porting tasks
@MackieLoeffel

Description

@MackieLoeffel
MackieLoeffel
opened on Apr 24, 2026

See Iris Rocq documentation at https://gitlab.mpi-sws.org/iris/iris/-/blob/master/docs/proof_mode.md

Metadata

Metadata

Assignees

Labels

claimedSomebody is working on thisfeatNew feature or requestportingPorting Rocq developmentproof-modeProofMode porting tasks

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions