Projeler

işlev main() -> tam32 {
    değişken k: tekkez<tam32> = tekkez_olustur(42);
    ver kullan(k);   // tam bir kez tüketilir
}

KEMGU

Türkçe sözdizimli, çöp toplayıcısız bellek güvenliği hedefleyen; C11/LLVM derleyici çekirdeği ve Lean 4 ile doğrulanmış V1 eşzamanlılık çekirdeğine sahip deneysel sistem programlama dili.

Çıktı: derleyici çekirdeği + Lean 4 formal doğrulama