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