Update the Lean version for our sample project.

Julian · May 17, 2024 · bfef3cb · bfef3cb
1 parent 7219481
commit bfef3cb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lua/tests/fixtures/example-project/lean-toolchain b/lua/tests/fixtures/example-project/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.5.0-rc1
+leanprover/lean4:v4.8.0-rc1
diff --git a/lua/tests/infoview/contents_spec.lua b/lua/tests/infoview/contents_spec.lua
@@ -217,10 +217,10 @@ describe('infoview content (auto-)update', function()
       assert.infoview_contents.are [[
         ▶ 2 goals
         case zero
-        ⊢ Nat.zero = Nat.zero
+        ⊢ 0 = 0
         case succ
         n✝ : Nat
-        ⊢ Nat.succ n✝ = Nat.succ n✝
+        ⊢ n✝ + 1 = n✝ + 1
       ]]
     end)