Skip to main content

Questions tagged [errors]

Questions regarding software errors during the usage or development of Proof Assistants.

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
0 votes
1 answer

An installation error in "Mathematics in Lean"

I have just started learning Lean 4 using Mathematics in Lean in Visual Studio Code, and I ran into a problem right away. I get the following error message: ...
Blankino's user avatar