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

palmskog · web-flow · commit ca570af71a92 · 2024-08-11T14:24:09.000+02:00
normalized metadata
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:

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ tags: [`
`26`	`26`	`"category:Mathematics/Arithmetic and Number Theory/Number theory"`
`27`	`27`	`"keyword:ordered sets"`
`28`	`28`	`"keyword:ordinal arithmetic"`
`29`		`- "keyword:ordinals"`
	`29`	`+ "keyword:ordinal numbers"`
`30`	`30`	`"keyword:cardinal numbers"`
`31`	`31`	`"logpath:gaia.ordinals"`
`32`	`32`	`]`
Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ depends: [`
`22`	`22`	`tags: [`
`23`	`23`	`"category:Mathematics/Arithmetic and Number Theory/Number theory"`
`24`	`24`	`"keyword:ordinal arithmetic"`
`25`		`- "keyword:ordinals"`
	`25`	`+ "keyword:ordinal numbers"`
`26`	`26`	`"logpath:gaia.schutte"`
`27`	`27`	`]`
`28`	`28`	`authors: [`