rudi-cilibrasi

rudi-cilibrasi/leanos

experimental LeanOS formally verified OS

1 good first / help-wanted issue · Lean · last activity Sep 29, 2026

11 stars 4 forks 11 watchers Lean Apache License 2.0

1 Open Issue Need Help Last updated: Sep 29, 2026

Open Issues Need Help

View All on GitHub

docs/wifi-driver.md: known-gaps list is stale (calibration, ARP/ping now done) 23 days ago

documentation good first issue

rudi-cilibrasi/leanos

11

experimental LeanOS formally verified OS

Lean