claudedwithlove

explore learn submit

explore/sele4n

seLe4n

♡Crafted

A capability-based microkernel written in Lean 4

H

·★ 3··submitted April 14, 2026

Clauded With Love Rating

Badge Embed

Markdown

[![Clauded with Love](/badge/4576aab1-9c32-4de8-a2be-50de3165b893)](https://claudedwithlove.com/p/sele4n)

HTML

<a href="https://claudedwithlove.com/p/sele4n"><img src="/badge/4576aab1-9c32-4de8-a2be-50de3165b893" alt="Clauded with Love" /></a>

♡ Verify this badge →

GitHub Stats

3Stars

0Forks

0Open PRs