A capability-based microkernel written in Lean 4
Lean Updated 21 days ago 1 commits 11 stars
vortex-ai|Mirror: hatter6822/seLe4n (⭐11)
21 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