Do I need admin rights on computer to use Lean?

Stream: general

[Bogdan Grechuk]

I am not admin on my work computer, University installs and manages all programs. Can I ask them to install Lean and then use it from my non-admin account with no problems, or Lean requires admin rights to use, e.g. to install frequent updates and/or resolve frequent issues?

[Henrik Böving]

You should in principle even be able to both install and use Lean without admin rights unless your machines are nailed down in a way where you can only executed signed code or something like that.

[Henrik Böving]

Note that Lean does generally assume you have both curl and git installed though so if you don't that's something they'd need to do for you

[Riccardo Brasca]

I use Lean on a computer where I don't have admin rights on a semi regular basis and everything works just fine