analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

change of opam category

Open affeldt-aist opened this issue 1 month ago • 0 comments

https://github.com/math-comp/analysis/blob/72c8678f8def77da4c1c2682f857cfb8cf770352/coq-mathcomp-analysis-stdlib.opam#L23

Mathematics/Real Calculus and Topology is maybe more appropriate

see https://github.com/rocq-prover/opam/pull/3571#discussion_r2517233073

affeldt-aist avatar Nov 12 '25 13:11 affeldt-aist