tlaplus/Examples
@tlaplusKumpulan spesifikasi TLA⁺ dengan berbagai tingkat kompleksitas.
Bintang
1.564
Fork
223
Bahasa
TLA
Lisensi
NOASSERTION
Push terakhir
2 hari 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.