Lean-sudo: drop-in replacement with formally verified policy, env, and auth

Lean-sudo: drop-in replacement with formally verified policy, env, and auth: open-source проект в категориях Security. Практическое применение: strengthen secur