quint-co/quint
@quint-coBahasa spesifikasi yang dapat dieksekusi dengan perkakas yang menyenangkan berdasarkan logika temporal tindakan (TLA)
Bintang
1.654
Fork
144
Bahasa
TypeScript
Lisensi
Apache-2.0
Push terakhir
3 minggu yang lalu
Intel terkait (0)
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.