FStarLang/FStar

Bahasa pemrograman yang berorientasi pada pembuktian

↗ Buka di GitHub

Bintang

3.103

Fork

263

Bahasa

F*

Lisensi

Apache-2.0

Push terakhir

6 hari yang lalu

F*proof-assistant verification programming-language c-language ocaml smt f-sharp theorem-proving dependent-types fstar dijkstra-monads interactive-theorem-proving program-proof

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.