PrototypeCommune
oftenjames/romulus
Lean 4 hypervisor memory ownership model with machine-checked isolation proofs
- Propriétaire
- oftenjames (compte personnel)
- Étoiles
- Étoiles : 119
- Forks
- Forks : 10
- Langage
- Lean
- Licence
- Aucune
- Création
- 2026
- Sujets
- hypervisorisolationproofsownershi
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/LNSymÉtoiles : 120LeanPrototype
- leanprover-community/duperÉtoiles : 119LeanPrototype
- rami3l/PLFaLeanÉtoiles : 119LeanPrototype
- leanprover-community/plausibleÉtoiles : 118LeanPrototype
- sunblaze-ucb/veroÉtoiles : 116LeanPrototype