johnynek / johnynek/rules_tla

add support for SANY

Open
#4 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
TLA
Stars
6
Forks
0
No merged PRs in 30d

Description

http://lamport.azurewebsites.net/tla/sany.html

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.