1
lean-sudo
A formally verified drop-in replacement for sudo written in Lean 4.
Loading page…
Builder profile
Participation in project discovery and support for PitchHut.
The quality and impact of this builder's projects.
What they're building
A formally verified drop-in replacement for sudo written in Lean 4.