Evergreen — Provably Safe Systems Code
- Provably SafeSystems Code Evergreen brings explicit contracts, checked invariants, and control over memory into one language.
Unverified
- Provably SafeSystems Code Evergreen brings explicit contracts, checked invariants, and control over memory into one language.
Sources: Evergreenlang