$ CODIGO
log in

TLA+

Edit on GitHub GitHub logo

External Links

Type programming
Created 1999
Designed by Leslie Lamport
PyPL Index N/A
TIOBE Index N/A
GitHub rank N/A