New answers tagged lean
4
votes
Is there any way to approximate noncomputable functions in Lean4?
First, it is helpful to understand the various reasons that definitions are marked noncomputable.
Axiom of choice: If a definition uses choice, then it is ...
- 9,195
1
vote
Proper LEAN_PATH environment variable value for Windows Lean Visual Studio project?
The issue lies elsewhere: you should never need to set LEAN_PATH by hand. Are you opening your project folder in VSCode (rather than an individual file)? This should be the folder containing your <...
- 229
Top 50 recent answers are included