memory requirements

Stream: new members

[Leonid Kimelfeld]

Hi! I am wonder what are current memory reqirements of lean4 & vcode client?

[Notification Bot]

A message was moved here from #new members > Ordering strings by Eric Wieser.

[Henrik Böving]

If you're on windows with lean, vscide and Mathlib at least 8 GB

[Leonid Kimelfeld]

Henrik Böving said:

If you're on windows with lean, vscide and Mathlib at least 8 GB

I am on linux

[Leonid Kimelfeld]

Leonid Kimelfeld said:

Henrik Böving said:

If you're on windows with lean, vscide and Mathlib at least 8 GB

I am on linux

I presume basically requirements are the same?

[Henrik Böving]

I know someone that can run the setup on 4GB with Linux but i would not recommend it