The Lean Language Reference

21.7. Environment Variables🔗

🔗opaque

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