QuangTung97/tla-plus
TLA+ Spec Repository for both learning & real world application
GitHub repository with 6 stars and 0 forks.
Language: TLA
Latest metric snapshot
2026-06-05: 6 stars and 0 forks.
TLA+ Spec Repository for both learning & real world application
GitHub repository with 6 stars and 0 forks.
Language: TLA
2026-06-05: 6 stars and 0 forks.