Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

oftenjames/romulus

Lean 4 hypervisor memory ownership model with machine-checked isolation proofs

Owner: oftenjames (personal account)
Stars: Stars: 119
Forks: Forks: 10
Language: Lean
License: None
Created: 2026
Topics: hypervisorisolationproofsownershi
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in Lean

leanprover/LNSymStars: 120LeanPrototype
leanprover-community/duperStars: 119LeanPrototype
rami3l/PLFaLeanStars: 119LeanPrototype
leanprover-community/plausibleStars: 118LeanPrototype
sunblaze-ucb/veroStars: 116LeanPrototype