We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ec9b40e commit 4fcc50eCopy full SHA for 4fcc50e
coq-mathcomp-analysis-stdlib.opam
@@ -21,6 +21,7 @@ depends: [
21
22
tags: [
23
"category:Mathematics/Real Numbers"
24
+ "category:Mathematics/Real Calculus and Topology"
25
"keyword:real numbers"
26
"keyword:reals"
27
"logpath:mathcomp.reals_stdlib"
0 commit comments