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

(github.com)

1 points | by gbacon an hour ago ago

No comments yet.