Remove obsolete link to base tutorial

AeneasVerif · Jan 3, 2025 · 42c05a3 · 42c05a3
1 parent 1947c9e
commit 42c05a3
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -125,8 +125,6 @@ support for partial functions and extrinsic proofs of termination (see
 and tactics specialized for monadic programs (see
 `./backends/lean/Base/Progress/Progress.lean` and `./backends/hol4/primitivesLib.sml`).
 
-A (basic) tutorial for the Lean backend is available [here](./tests/lean/BaseTutorial.lean).
-
 ## Quick start for Nix users
 
 Assuming Nix is installed, with a support for Flakes (`*`):