Skip to content

coqPackages.mathcomp-analysis: rename altreals to experimental-reals#353818

Merged
vbgl merged 1 commit intoNixOS:masterfrom proux01:analysis-experimental-realsNov 6, 2024

Commits

Commits on Nov 4, 2024