Pemilik · tlaplus

tlaplus

Repositori open source terpantau milik tlaplus, diurutkan berdasarkan bintang.

2 repositori

#1
tlaplus ↗@tlaplusJava
TLC adalah pemeriksa model untuk spesifikasi yang ditulis dalam TLA+. TLA+Toolbox adalah IDE untuk TLA+.
★ 3.026+7Perubahan bintang dalam 7 hari terakhir
#2
Examples ↗@tlaplusTLA
Kumpulan spesifikasi TLA⁺ dengan berbagai tingkat kompleksitas.
★ 1.564+5Perubahan bintang dalam 7 hari terakhir