Skip to content

Commit

Permalink
Fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@pitmonticone
pitmonticone committed Sep 14, 2024
1 parent a9e8f49 commit e930d28
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion MIL/C01_Introduction/S01_Getting_Started.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ You'll find a lively and welcoming community of Lean enthusiasts there,
happy to answer questions and offer moral support.
Although you can read a pdf or html version of this book online,
it designed to be read interactively,
it is designed to be read interactively,
running Lean from inside the VS Code editor.
To get started:
Expand Down

0 comments on commit e930d28

Please sign in to comment.