👓
Highlights
- Pro
Lists (5)
Sort Name ascending (A-Z)
Starred repositories
1
star
written in TLA
Clear filter
A collection of various standards, proposed or established, related to TLA+