Lean-sudo: drop-in replacement with formally verified policy, env, and authgithub.com3 points·gbacon··0 commentsOpen articleSaveView on HN