CakeML/cakeml

CakeML: Implementasi ML yang Terverifikasi

↗ Buka di GitHub

Bintang

1.190

Fork

101

Bahasa

Standard ML

Lisensi

BSD-3-Clause

Push terakhir

6 hari yang lalu

Standard ML formal-verification programming-language compiler sml hol theorem-proving formal-semantics

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.