r
/
bookshelf
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update Lean nightly.

finite-set-exercises
Joshua Potter 2023-05-08 12:10:15 -06:00
parent 5bfc41b171
commit 2ec4611309
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lake-manifest.json
View File

@ -16,9 +16,9 @@
{"git": {"git":
{"url": "https://github.com/jrpotter/bookshelf-docgen.git", {"url": "https://github.com/jrpotter/bookshelf-docgen.git",
"subDir?": null, "subDir?": null,
"rev": "dee1ea599fd459db8f40201a32338c606b1944e8", "rev": "93aa96a2b6318d78cc505e45f6538d507ce0834c",
"name": "doc-gen4", "name": "doc-gen4",
"inputRev?": "dee1ea599fd459db8f40201a32338c606b1944e8"}}, "inputRev?": "93aa96a2b6318d78cc505e45f6538d507ce0834c"}},
{"git": {"git":
{"url": "https://github.com/mhuisi/lean4-cli", {"url": "https://github.com/mhuisi/lean4-cli",
"subDir?": null, "subDir?": null,
@ -52,7 +52,7 @@
{"git": {"git":
{"url": "https://github.com/fgdorais/lean4-unicode-basic", {"url": "https://github.com/fgdorais/lean4-unicode-basic",
"subDir?": null, "subDir?": null,
"rev": "be1f061688faa1dbb224773c54901661253fb4b8", "rev": "ce508dcd1fd49ba15675861aafd864572a0b8252",
"name": "UnicodeBasic", "name": "UnicodeBasic",
"inputRev?": "main"}}, "inputRev?": "main"}},
{"git": {"git":

2
lakefile.lean
View File

@ -12,7 +12,7 @@ require std4 from git
"6006307d2ceb8743fea7e00ba0036af8654d0347" "6006307d2ceb8743fea7e00ba0036af8654d0347"
require «doc-gen4» from git require «doc-gen4» from git
"https://github.com/jrpotter/bookshelf-docgen.git" @ "https://github.com/jrpotter/bookshelf-docgen.git" @
"dee1ea599fd459db8f40201a32338c606b1944e8" "93aa96a2b6318d78cc505e45f6538d507ce0834c"
@[default_target] @[default_target]
lean_lib «Bookshelf» { lean_lib «Bookshelf» {

2
lean-toolchain
View File

@ -1 +1 @@
leanprover/lean4:nightly-2023-04-20 leanprover/lean4:nightly-2023-05-06