Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Merge requests
!535
Remove Import NPeano
Code
Review changes
Check out branch
Download
Patches
Plain diff
Pierre Rousselin
requested to merge
Villetaneuse/stdpp:rm_NPeano
into
master
Nov 15, 2023
Overview
8
Commits
1
Pipelines
2
Changes
1
Expand
Remove Import NPeano in numbers: this is necessary for
https://github.com/coq/coq/pull/18164
Edited
Nov 15, 2023
by
Pierre Rousselin
Merge request reports