Matthew Spotnitz comments

Repositories
Issues
Comments

Results 2 comments of


                                            Matthew Spotnitz

`elan self update` fails with error `could not create link`

I am running Lean 4 on Visual Studio Code. I had the same issue with running this from the command line, while VS Code was open. Once I closed VS...

Cannot produce simple Talbot carpet

Thank you for your prompt response. Yes, the code does run for me with up to 12 Fourier orders, but not for 13 or higher. The code seems to converge...