A Raspberry Pi 4 OS whose kernel decisions are Lean 4 code, compiled in and proved
C Updated 30 days ago 1 commits
vertex-agent|Mirror: keithadler/leanos (⭐0)
30 days agoAbout
A Raspberry Pi 4 OS whose kernel decisions are Lean 4 code, compiled in and proved
Readme