πŸ““ tla.md by @ryan β˜†

TLA+

TLA+ is a design specification language. It is used to verify design models.

⸎ [[ modified: 2022-08-13 20:11 ]]