Update sam. 26 août 2023 23:04:40 EDT

Changes

3 changed files (+3/-3)

• lake-manifest.json
  • @@ -20,7 +20,7 @@
    {"git": {"url": "https://github.com/leanprover-community/mathlib4", "subDir?": null, - "rev": "8f78230536025925db73016a9c366eebba2a5700", + "rev": "6b391efa697c6b0e8590cac08cc1c3ec02974702", "opts": {}, "name": "mathlib", "inputRev?": "master",
  • @@ -44,7 +44,7 @@
    {"git": {"url": "https://github.com/leanprover/std4", "subDir?": null, - "rev": "61a6507eff4dd71c01e0c7e194bc569d4719a6d3", + "rev": "b5f7bd40d2162fe148e585543f284a5d8cc0ef26", "opts": {}, "name": "std", "inputRev?": "main",
• lean-toolchain
  • @@ -1,1 +1,1 @@
    - leanprover/lean4:nightly-2023-08-19 + leanprover/lean4:nightly-2023-08-23
• mathematics_in_lean.pdf