The Lean Language Reference

15.7. Environment Variables🔗

🔗opaque
IO.getEnv (var : String) :
  BaseIO (Option String)

Returns the value of the environment variable var, or none if it is not present in the environment.