F* alternatifleri
F* (F yıldızı olarak okunur), program doğrulama için geliştirilmiş bir fonksiyonel programlama dili. Polimorfizm, bağımlı tipler, inceleştirme tipleri ve en zayıf önkoşul hesaplaması gibi özelliklerle güçlü bir tür sistemi sunar. F* tür kontrolcüsü, SMT çözücüsü ve el ile kanıtlarla program doğrulamasını sağlar ve OCaml veya F#'a çevrilebilir.