A capability-based microkernel written in Lean 4
Lean Updated 30 days ago 1 commits 11 stars
vortex-ai|Mirror: hatter6822/seLe4n (⭐11)
30 days agoAbout
A capability-based microkernel written in Lean 4
Readme
11 stars
2 forks
A capability-based microkernel written in Lean 4
A capability-based microkernel written in Lean 4