Oops lake uses master by default so we need to specify rev = "main"

Changes

1 changed files (+1/-0)

• README.md
  • @@ -20,6 +20,7 @@ # Require LeanTex!
    [[require]] name = "LeanTex" git = "https://github.com/kiranandcode/leantex.git" + rev = "main" ``` If you are using a `lakefile.lean`: