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