Contact
🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
technology-and-computing · embed-ft 0.38
Tree path
Technology & Computing
Group (tier-1)
Also (top-3)
Tech stack
Framework
AI readiness
AI-Readiness score
42 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Compliance (GEO / GDPR)
TLD
Overview
Title
seLe4n — A Microkernel Written in Lean 4
Description
seLe4n is a formally verified microkernel written in Lean 4 with machine-checked proofs and safe Rust syscall wrappers. Zero sorry, zero axiom. Targeting Raspberry Pi 5.
Final URL
Language
en (html)
Scanned at
2026-07-11 18:52:15