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