Template Project should be installed as "Temporal Logic of Actions" category (group), under TLA+ Project.
Log in to post a comment.
