Merge pull request #21 from coq-community/normalize-metadata

normalized metadata
coq-community · Aug 11, 2024 · ca570af · ca570af
2 parents bd9642f + 5af021a
commit ca570af
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/coq-gaia-ordinals.opam b/coq-gaia-ordinals.opam
@@ -26,7 +26,7 @@ tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
   "keyword:ordered sets"
   "keyword:ordinal arithmetic"
-  "keyword:ordinals"
+  "keyword:ordinal numbers"
   "keyword:cardinal numbers"
   "logpath:gaia.ordinals"
 ]

diff --git a/coq-gaia-schutte.opam b/coq-gaia-schutte.opam
@@ -22,7 +22,7 @@ depends: [
 tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
   "keyword:ordinal arithmetic"
-  "keyword:ordinals"
+  "keyword:ordinal numbers"
   "logpath:gaia.schutte"
 ]
 authors: [

diff --git a/coq-gaia-stern.opam b/coq-gaia-stern.opam
@@ -22,7 +22,7 @@ depends: [
 
 tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
-  "keyword:stern-brocot"
+  "keyword:Stern-Brocot"
   "keyword:fibonacci numbers"
   "logpath:gaia.stern"
 ]

diff --git a/meta.yml b/meta.yml
@@ -102,7 +102,7 @@ namespace: gaia
 keywords:
 - name: Bourbaki
 - name: set theory
-- name: ordinals
+- name: ordinal numbers
 - name: cardinals
 
 categories: