lake-manifest.json - change LeanReservoir title from "examples" to …

…"Paperproof" (See leanprover/reservoir#48)
Paper-Proof · Aug 27, 2024 · 6fd11de · 6fd11de
1 parent 4e2b0b6
commit 6fd11de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -70,5 +70,5 @@
    "inputRev": "master",
    "inherited": false,
    "configFile": "lakefile.lean"}],
- "name": "examples",
+ "name": "Paperproof",
  "lakeDir": ".lake"}