Upgrade the formalisation to Rocq 9.1.0 #53

Closed

Labels

opened

on Sep 11, 2025

Upgrade Rocq to 9.1.0
Upgrade coq-stdpp to a version which is compatible with Rocq 9.10
Compile the project, and fix the bugs/inconsistencies

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests