Skip to content

Remove Import NPeano

Pierre Rousselin requested to merge Villetaneuse/stdpp:rm_NPeano into master

Remove Import NPeano in numbers: this is necessary for https://github.com/coq/coq/pull/18164

Edited by Pierre Rousselin

Merge request reports