claudedwithlove
explore / sele4n / verify
Verified Badge
♡Crafted
Clauded with Love
Project
seLe4n
A capability-based microkernel written in Lean 4
View project →
Badge Details
Level♡ Crafted
AssignedApril 14, 2026
Issued by ClaudedWithLove
← Back to projectView all projects