seL4 / l4v

git clone https://github.com/seL4/l4v.git

seL4 specification and proofs

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

648

★ total

130

forks · 77 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageIsabelle

License—

Created2014-07-17 (12y ago)

Last pushtoday

OwnerOrganization

GitHub topics

formalisation isabelle proof sel4-microkernel sel4-proofs

Links

GitHub: github.com/seL4/l4v
Homepage: https://sel4.systems
Releases · Issues · Hacker News mentions