1aef3614 - 6.5610-project

Authored by: Anthony Wang
Authored at: 2026-04-20 16:00:41 -0400
Committed by: Anthony Wang
Committed at: 2026-04-20 16:00:41 -0400
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQCaHmxLD64pbujhmf8vkYSkgJGsUjJavS9szyakuNWzU4DkvSto+jDL2RYwIrNX8hT vHbpTlRTCLkVzTNvfGvg4= -----END SSH SIGNATURE-----
Object name: 1aef36145c33424a30e7f3410f0783e831450a73
Parent: 09248633

Bump Lean version

Changes

2 changed files (+3/-4)

lake-manifest.json
- @@ -1,6 +1,5 @@
  - {"version": "1.2.0", + {"version": "1.1.0", "packagesDir": ".lake/packages", "packages": [], "name": "«6-5610-project»", - "lakeDir": ".lake", - "fixedToolchain": false} + "lakeDir": ".lake"}
lean-toolchain
- @@ -1,1 +1,1 @@
  - leanprover/lean4:v4.29.0 + leanprover/lean4:v4.29.1