List keywords in lakefile

YaelDillies · YaelDillies · commit 075f1c479262 · 2025-05-02T17:42:29.000Z
This will show up on Reservoir.
diff --git a/lakefile.toml b/lakefile.toml
@@ -1,4 +1,5 @@
 name = "LeanCamCombi"
+keywords = ["math", "combinatorics", "additive-combinatorics", "probabilitistic-combinatorics", "extremal-combinatorics", "set-family", "graph-theory", "model-theory"]
 defaultTargets = ["LeanCamCombi"]
 
 [leanOptions]

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`name = "LeanCamCombi"`
	`2`	`+keywords = ["math", "combinatorics", "additive-combinatorics", "probabilitistic-combinatorics", "extremal-combinatorics", "set-family", "graph-theory", "model-theory"]`
`2`	`3`	`defaultTargets = ["LeanCamCombi"]`
`3`	`4`
`4`	`5`	`[leanOptions]`