temporal-logic-of-actions topic
List
temporal-logic-of-actions repositories
tla-plus-resources
81
Stars
4
Forks
Watchers
Personal reading list/reference re: TLA+
